the curmudgeon does not rough.
sent1: if that the suprematist does fold Conium and does not target stillness is wrong then the curmudgeon is not rough. sent2: if the fact that something is not a kind of a Bittacidae and is a polymerization is wrong then it does not fold Conium. sent3: the clerid is not a polymerization.
void -> assump1: Let's assume that the clerid is not a kind of a Bittacidae but it is a polymerization.; assump1 -> int1: the clerid is a polymerization.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the clerid is not a Bittacidae but it is a polymerization does not hold.; sent2 -> int4: if the fact that the clerid is not a Bittacidae and is a polymerization is not right it does not fold Conium.; int3 & int4 -> int5: the clerid does not fold Conium.;
$hypothesis$ = the curmudgeon does not rough. ; $context$ = sent1: if that the suprematist does fold Conium and does not target stillness is wrong then the curmudgeon is not rough. sent2: if the fact that something is not a kind of a Bittacidae and is a polymerization is wrong then it does not fold Conium. sent3: the clerid is not a polymerization. ; $proof$ = 
void -> assump1: Let's assume that the clerid is not a kind of a Bittacidae but it is a polymerization.; assump1 -> int1: the clerid is a polymerization.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the clerid is not a Bittacidae but it is a polymerization does not hold.; sent2 -> int4: if the fact that the clerid is not a Bittacidae and is a polymerization is not right it does not fold Conium.; int3 & int4 -> int5: the clerid does not fold Conium.; __UNKNOWN__