the caddis-fly does not prepare tidy.
sent1: that the Cheddar is not a track and not punctual is incorrect if that the coprolite is not a waw is not wrong. sent2: the coprolite is not a waw. sent3: the Cheddar is not punctual. sent4: that the Cheddar is a kind of a turn that is a NAC does not hold if the fact that the caddis-fly is not a NAC is right. sent5: the fact that if the caddis-fly prepares tidy then the caddis-fly is not a kind of a NAC is not incorrect. sent6: if that the caddis-fly is a kind of a NAC that is a kind of a waw does not hold it is not a track. sent7: if that something does turn and it is a NAC is wrong then it is not a kind of a track. sent8: something is both not a NAC and not a turn if that it does not track is right. sent9: if something is not a NAC and it is not a kind of a turn then it prepares tidy. sent10: the caddis-fly is a waw. sent11: something that is not a turn does not track.
void -> assump1: Let's assume that the caddis-fly prepares tidy.; sent5 & assump1 -> int1: the caddis-fly is not a kind of a NAC.; int1 & sent4 -> int2: that the Cheddar is a turn and a NAC is not true.; sent7 -> int3: if that the Cheddar turns and it is a NAC is not correct it is not a track.; int2 & int3 -> int4: the Cheddar is not a track.; int4 & sent3 -> int5: the fact that the Cheddar is not a track and is not punctual is not false.; sent1 & sent2 -> int6: that the Cheddar is not a track and is not punctual is not true.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
the fact that the dough is not a waw and is not a Lugosi does not hold.
sent9 -> int8: the dough does prepare tidy if it is not a NAC and it does not turn.; sent8 -> int9: the caddis-fly is not a NAC and it is not a turn if it is not a track.;
$hypothesis$ = the caddis-fly does not prepare tidy. ; $context$ = sent1: that the Cheddar is not a track and not punctual is incorrect if that the coprolite is not a waw is not wrong. sent2: the coprolite is not a waw. sent3: the Cheddar is not punctual. sent4: that the Cheddar is a kind of a turn that is a NAC does not hold if the fact that the caddis-fly is not a NAC is right. sent5: the fact that if the caddis-fly prepares tidy then the caddis-fly is not a kind of a NAC is not incorrect. sent6: if that the caddis-fly is a kind of a NAC that is a kind of a waw does not hold it is not a track. sent7: if that something does turn and it is a NAC is wrong then it is not a kind of a track. sent8: something is both not a NAC and not a turn if that it does not track is right. sent9: if something is not a NAC and it is not a kind of a turn then it prepares tidy. sent10: the caddis-fly is a waw. sent11: something that is not a turn does not track. ; $proof$ = 
void -> assump1: Let's assume that the caddis-fly prepares tidy.; sent5 & assump1 -> int1: the caddis-fly is not a kind of a NAC.; int1 & sent4 -> int2: that the Cheddar is a turn and a NAC is not true.; sent7 -> int3: if that the Cheddar turns and it is a NAC is not correct it is not a track.; int2 & int3 -> int4: the Cheddar is not a track.; int4 & sent3 -> int5: the fact that the Cheddar is not a track and is not punctual is not false.; sent1 & sent2 -> int6: that the Cheddar is not a track and is not punctual is not true.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __PROVED__