if the antiflatulent is a latter the crank is not hydrocephalic.
sent1: the antiflatulent is not non-hydrocephalic and not non-latter. sent2: something is paschal but it is not a sodomite. sent3: the fact that something is not a kind of a commensal and it is not hydrocephalic is not true if that it housekeeps suffocation hold. sent4: the antiflatulent is a countryfolk if there is something such that it is not non-paschal and is not a sodomite. sent5: something is both not paschal and not a countryfolk if it is not a kind of a latter. sent6: if the antiflatulent is a countryfolk and it is a latter the crank is not hydrocephalic. sent7: if the crank is a speck then it is uncertain. sent8: if the fact that the crank is not a lab but an incinerator is incorrect then it housekeeps suffocation. sent9: the fact that something is not a lab but it is an incinerator is false if it is uncertain. sent10: the crank specks.
sent2 & sent4 -> int1: the antiflatulent is a countryfolk.; void -> assump1: Let's assume that the antiflatulent is latter.; int1 & assump1 -> int2: the antiflatulent is a countryfolk and it is a latter.; sent6 & int2 -> int3: the crank is not hydrocephalic.; [assump1] & int3 -> hypothesis;
the antiflatulent is not paschal.
sent5 -> int4: the antiflatulent is not paschal and it is not a countryfolk if it is not a latter.; sent3 -> int5: if the crank housekeeps suffocation then that it is not a commensal and it is not hydrocephalic is false.; sent9 -> int6: the fact that the crank is not a kind of a lab and is an incinerator does not hold if it is uncertain.; sent7 & sent10 -> int7: the crank is uncertain.; int6 & int7 -> int8: that that the crank is not a lab and is an incinerator is incorrect is true.; sent8 & int8 -> int9: the crank does housekeep suffocation.; int5 & int9 -> int10: that the crank is not commensal and not hydrocephalic does not hold.; int10 -> int11: there is something such that the fact that it is not a commensal and not hydrocephalic is wrong.;
$hypothesis$ = if the antiflatulent is a latter the crank is not hydrocephalic. ; $context$ = sent1: the antiflatulent is not non-hydrocephalic and not non-latter. sent2: something is paschal but it is not a sodomite. sent3: the fact that something is not a kind of a commensal and it is not hydrocephalic is not true if that it housekeeps suffocation hold. sent4: the antiflatulent is a countryfolk if there is something such that it is not non-paschal and is not a sodomite. sent5: something is both not paschal and not a countryfolk if it is not a kind of a latter. sent6: if the antiflatulent is a countryfolk and it is a latter the crank is not hydrocephalic. sent7: if the crank is a speck then it is uncertain. sent8: if the fact that the crank is not a lab but an incinerator is incorrect then it housekeeps suffocation. sent9: the fact that something is not a lab but it is an incinerator is false if it is uncertain. sent10: the crank specks. ; $proof$ = 
sent2 & sent4 -> int1: the antiflatulent is a countryfolk.; void -> assump1: Let's assume that the antiflatulent is latter.; int1 & assump1 -> int2: the antiflatulent is a countryfolk and it is a latter.; sent6 & int2 -> int3: the crank is not hydrocephalic.; [assump1] & int3 -> hypothesis; __PROVED__