With a bit of delay (as I attend the QCA conference of the Americas), I just wanted to make an additional comment about the column "OUT".
This is not the same thing as the "outcome", it stands for (truth table) "output".
The outcome value for USA might be "in" the set (0.785) and it so happens that USA is the only case in row 18 of the truth table. But the inclusion score of that row (not case!) in (or the consistency of that row with) the outcome is 0.761 which is smaller than the cut-off value of 0.8, hence the OUTput value of that row is 0.
Row 18 is the configuration 010001, which in Boolean expression is:
pof(~track*inequa*~edmat*~selec*~privat*comp -> segr3, data = mydata)
inclS PRI covS covU
-----------------------------------------------------------------------
1 ~track*inequa*~edmat*~selec*~privat*comp 0.761 0.524 0.067 -
-----------------------------------------------------------------------
or otherwise
allcases <- compute(~track*inequa*~edmat*~selec*~privat*comp, data = mydata)
sum(fuzzyand(allcases, mydata$segr3)) / sum(allcases)
[1] 0.7613718
So all cases, not just USA, contribute to the consistency score of that configuration (row 18) in the outcome. It does not matter that the USA is the only case in that configuration.
To complement Patrick and Ingo's excellent description, the truth table can in fact display contradictions by specifying two values for the inclusion cut-off, something like incl.cut = c(0.8, 0.4)
I hope this helps,
Adrian