the jellaba is not a Bokmal and it does not scorch drivel.
sent1: something is not a sputter if it is a Iberian. sent2: that the jellaba is a baht and it sputters is incorrect. sent3: the fact that the fact that the jellaba is both a baht and not a sputter is incorrect hold. sent4: the jellaba is not a kind of a sputter. sent5: if the jellaba is nonwoody then it is a kind of a Iberian. sent6: the jellaba does not sputter if it is a kind of a Iberian. sent7: if there exists something such that it is not haptic and/or it does not scorch drivel then the jellaba does not scorch drivel. sent8: if there exists something such that it is not haptic then that the jellaba does not scorch drivel is not incorrect. sent9: something is nonwoody if it is a Bokmal. sent10: the patio is not nonwoody. sent11: the filature scorches drivel if it is a Iberian. sent12: something is not haptic and/or it scorches drivel. sent13: if something is a Iberian then it is a kind of a baht that is not a kind of a sputter.
sent9 -> int1: if the fact that the jellaba is a Bokmal is not incorrect it is not woody.; void -> assump1: Let's assume that the jellaba is a Bokmal.; int1 & assump1 -> int2: the fact that the jellaba is nonwoody hold.; int2 & sent5 -> int3: the jellaba is a Iberian.; sent13 -> int4: the jellaba is a baht that does not sputter if it is Iberian.; int3 & int4 -> int5: the jellaba is a baht but it is not a sputter.; int5 & sent3 -> int6: this is contradiction.; [assump1] & int6 -> int7: the jellaba is not a Bokmal.;
the fact that the jellaba is not a Bokmal and does not scorch drivel does not hold.
$hypothesis$ = the jellaba is not a Bokmal and it does not scorch drivel. ; $context$ = sent1: something is not a sputter if it is a Iberian. sent2: that the jellaba is a baht and it sputters is incorrect. sent3: the fact that the fact that the jellaba is both a baht and not a sputter is incorrect hold. sent4: the jellaba is not a kind of a sputter. sent5: if the jellaba is nonwoody then it is a kind of a Iberian. sent6: the jellaba does not sputter if it is a kind of a Iberian. sent7: if there exists something such that it is not haptic and/or it does not scorch drivel then the jellaba does not scorch drivel. sent8: if there exists something such that it is not haptic then that the jellaba does not scorch drivel is not incorrect. sent9: something is nonwoody if it is a Bokmal. sent10: the patio is not nonwoody. sent11: the filature scorches drivel if it is a Iberian. sent12: something is not haptic and/or it scorches drivel. sent13: if something is a Iberian then it is a kind of a baht that is not a kind of a sputter. ; $proof$ = 
sent9 -> int1: if the fact that the jellaba is a Bokmal is not incorrect it is not woody.; void -> assump1: Let's assume that the jellaba is a Bokmal.; int1 & assump1 -> int2: the fact that the jellaba is nonwoody hold.; int2 & sent5 -> int3: the jellaba is a Iberian.; sent13 -> int4: the jellaba is a baht that does not sputter if it is Iberian.; int3 & int4 -> int5: the jellaba is a baht but it is not a sputter.; int5 & sent3 -> int6: this is contradiction.; [assump1] & int6 -> int7: the jellaba is not a Bokmal.; __UNKNOWN__