the loser is a kind of a blepharospasm.
sent1: the fact that the froghopper is organismal and is macrencephalic is not right if it does calculate. sent2: that something is organismal but it is not macrencephalic is not correct if that it does calculate is right. sent3: that the froghopper is organismal and macrencephalic is false. sent4: if the froghopper is macrencephalic the rail malingers Formicarius. sent5: the froghopper is iridaceous and it calculates. sent6: that something is a kind of organismal thing that is macrencephalic does not hold if it does calculate. sent7: if the rail does malinger Formicarius the loser is a blepharospasm.
sent5 -> int1: the froghopper does calculate.; sent2 -> int2: that the fact that the froghopper is a kind of organismal thing that is not macrencephalic is not false does not hold if it calculates.; int1 & int2 -> int3: that the froghopper is organismal but it is not macrencephalic is wrong.;
$hypothesis$ = the loser is a kind of a blepharospasm. ; $context$ = sent1: the fact that the froghopper is organismal and is macrencephalic is not right if it does calculate. sent2: that something is organismal but it is not macrencephalic is not correct if that it does calculate is right. sent3: that the froghopper is organismal and macrencephalic is false. sent4: if the froghopper is macrencephalic the rail malingers Formicarius. sent5: the froghopper is iridaceous and it calculates. sent6: that something is a kind of organismal thing that is macrencephalic does not hold if it does calculate. sent7: if the rail does malinger Formicarius the loser is a blepharospasm. ; $proof$ = 
sent5 -> int1: the froghopper does calculate.; sent2 -> int2: that the fact that the froghopper is a kind of organismal thing that is not macrencephalic is not false does not hold if it calculates.; int1 & int2 -> int3: that the froghopper is organismal but it is not macrencephalic is wrong.; __UNKNOWN__