the scrim is curable.
sent1: the fact that the scrim is curable hold if the fact that the anhydride is not caesural or it is a Calocedrus or both is false. sent2: if that either the anhydride is not caesural or it is not a Calocedrus or both is not true then that the scrim is curable hold. sent3: the roundhouse is not a sulfacetamide if that that it ascertains playpen and is not a Calocedrus is true is not right. sent4: the roundhouse is inoperable if the cusk-eel is a lagomorph. sent5: the roundhouse is not a comfort and does not ascertain playpen. sent6: if the cusk-eel is not caesural that the anhydride is not caesural and/or it is not a Calocedrus does not hold. sent7: if something is not caesural then it is not a kind of a lagomorph and is inoperable. sent8: if something is a sulfacetamide but it is not a clasp it is a lagomorph. sent9: if the fact that the scrim does not comfort or it does reflectorize HND or both does not hold it ascertains playpen. sent10: the fact that the scrim is not a comfort and/or does reflectorize HND is not true if it does not reflectorize software. sent11: something is caesural if it is a Calocedrus. sent12: something that is not inoperable and not a lagomorph is not curable. sent13: if something does ascertain playpen it is a Calocedrus. sent14: the cusk-eel does comfort if the roundhouse is a kind of a sulfacetamide. sent15: if the roundhouse does ascertain playpen and it is a Calocedrus it is caesural. sent16: if the fact that the cusk-eel is a sulfacetamide and does not clasp is not correct then it is not caesural. sent17: if something is not a lagomorph but it is inoperable then it is curable. sent18: the anhydride is not a comfort if it is a Calocedrus. sent19: if the roundhouse is not a comfort and it does not ascertain playpen then it is not inoperable. sent20: something is not caesural if the fact that it ascertains playpen and/or it is a Calocedrus is not correct.
sent8 -> int1: if the cusk-eel is a sulfacetamide but it is not a clasp it is a lagomorph.; void -> assump1: Let's assume that the cusk-eel is both a sulfacetamide and not a clasp.; int1 & assump1 -> int2: the cusk-eel is a lagomorph.; int2 & sent4 -> int3: the roundhouse is inoperable.; sent19 & sent5 -> int4: the roundhouse is not inoperable.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the cusk-eel is a kind of a sulfacetamide but it does not clasp is not right.; int6 & sent16 -> int7: the cusk-eel is not caesural.; int7 & sent6 -> int8: that the anhydride is not caesural and/or it is not a Calocedrus does not hold.; int8 & sent2 -> hypothesis;
the scrim is not curable.
sent12 -> int9: the scrim is not curable if it is not inoperable and it is not a lagomorph.; sent11 -> int10: the scrim is caesural if it is a Calocedrus.; sent13 -> int11: if the scrim ascertains playpen then that it is a kind of a Calocedrus is not false.;
$hypothesis$ = the scrim is curable. ; $context$ = sent1: the fact that the scrim is curable hold if the fact that the anhydride is not caesural or it is a Calocedrus or both is false. sent2: if that either the anhydride is not caesural or it is not a Calocedrus or both is not true then that the scrim is curable hold. sent3: the roundhouse is not a sulfacetamide if that that it ascertains playpen and is not a Calocedrus is true is not right. sent4: the roundhouse is inoperable if the cusk-eel is a lagomorph. sent5: the roundhouse is not a comfort and does not ascertain playpen. sent6: if the cusk-eel is not caesural that the anhydride is not caesural and/or it is not a Calocedrus does not hold. sent7: if something is not caesural then it is not a kind of a lagomorph and is inoperable. sent8: if something is a sulfacetamide but it is not a clasp it is a lagomorph. sent9: if the fact that the scrim does not comfort or it does reflectorize HND or both does not hold it ascertains playpen. sent10: the fact that the scrim is not a comfort and/or does reflectorize HND is not true if it does not reflectorize software. sent11: something is caesural if it is a Calocedrus. sent12: something that is not inoperable and not a lagomorph is not curable. sent13: if something does ascertain playpen it is a Calocedrus. sent14: the cusk-eel does comfort if the roundhouse is a kind of a sulfacetamide. sent15: if the roundhouse does ascertain playpen and it is a Calocedrus it is caesural. sent16: if the fact that the cusk-eel is a sulfacetamide and does not clasp is not correct then it is not caesural. sent17: if something is not a lagomorph but it is inoperable then it is curable. sent18: the anhydride is not a comfort if it is a Calocedrus. sent19: if the roundhouse is not a comfort and it does not ascertain playpen then it is not inoperable. sent20: something is not caesural if the fact that it ascertains playpen and/or it is a Calocedrus is not correct. ; $proof$ = 
sent8 -> int1: if the cusk-eel is a sulfacetamide but it is not a clasp it is a lagomorph.; void -> assump1: Let's assume that the cusk-eel is both a sulfacetamide and not a clasp.; int1 & assump1 -> int2: the cusk-eel is a lagomorph.; int2 & sent4 -> int3: the roundhouse is inoperable.; sent19 & sent5 -> int4: the roundhouse is not inoperable.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the cusk-eel is a kind of a sulfacetamide but it does not clasp is not right.; int6 & sent16 -> int7: the cusk-eel is not caesural.; int7 & sent6 -> int8: that the anhydride is not caesural and/or it is not a Calocedrus does not hold.; int8 & sent2 -> hypothesis; __PROVED__