the fact that the satinwood does not factorize humanization and squeegees does not hold.
sent1: if the fact that the Tutu is not a kind of an oxbow hold then it is a eriogonum and it obscures Platte. sent2: if the equipment does award prosecutor that the satinwood does not factorize humanization but it squeegees is not right. sent3: that something earths and it is benzenoid does not hold if it is not nonastringent. sent4: there is something such that it is benzenoid. sent5: something is not a kind of a cakewalk if the fact that it is a kind of an earth and it is benzenoid does not hold. sent6: if something is not an oxbow then it does not factorize humanization and it squeegees. sent7: the injector is not a bedbug if something is not a cakewalk and is benzenoid. sent8: the abettor is tetragonal. sent9: if the injector is not a Triplochiton the fact that the Tutu is a kind of a bedbug and is an oxbow does not hold. sent10: the fact that the equipment does not whish and does not award legume is not right if the abettor is not non-tetragonal. sent11: if that something is a Triplochiton is not wrong then it awards prosecutor. sent12: everything is not a cakewalk and it is benzenoid. sent13: the injector does not award prosecutor and is not a kind of a Triplochiton if the equipment is not a kind of a cakewalk. sent14: if the fact that that the equipment does not whish and it does not award legume is not wrong is incorrect then it is not nonastringent. sent15: if the Tutu is a eriogonum then the injector is a bedbug.
void -> assump1: Let's assume that the Tutu is not a kind of an oxbow.; sent1 & assump1 -> int1: the Tutu is a kind of a eriogonum and it does obscure Platte.; int1 -> int2: the Tutu is a eriogonum.; int2 & sent15 -> int3: the injector is a bedbug.; sent12 -> int4: the abettor is not a cakewalk but it is benzenoid.; int4 -> int5: something is not a kind of a cakewalk but it is benzenoid.; int5 & sent7 -> int6: the injector is not a bedbug.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the Tutu is an oxbow.; sent11 -> int9: the equipment awards prosecutor if that it is a Triplochiton hold.;
the satinwood does not factorize humanization and is a squeegee.
sent6 -> int10: if the satinwood is not an oxbow then it does not factorize humanization and is a kind of a squeegee.; sent5 -> int11: if the fact that the equipment is an earth and is benzenoid is not right then it is not a kind of a cakewalk.; sent3 -> int12: if the equipment is not nonastringent then that it does earth and it is benzenoid is not right.; sent10 & sent8 -> int13: the fact that the equipment does not whish and does not award legume does not hold.; sent14 & int13 -> int14: that the equipment is not nonastringent is not incorrect.; int12 & int14 -> int15: that the fact that the equipment is an earth and it is benzenoid is not correct is not wrong.; int11 & int15 -> int16: the equipment is not a cakewalk.; sent13 & int16 -> int17: the injector does not award prosecutor and it is not a kind of a Triplochiton.; int17 -> int18: the injector is not a kind of a Triplochiton.; sent9 & int18 -> int19: that the Tutu is a bedbug that is a kind of an oxbow does not hold.; int19 -> int20: there exists something such that the fact that it is a bedbug and an oxbow is incorrect.;
$hypothesis$ = the fact that the satinwood does not factorize humanization and squeegees does not hold. ; $context$ = sent1: if the fact that the Tutu is not a kind of an oxbow hold then it is a eriogonum and it obscures Platte. sent2: if the equipment does award prosecutor that the satinwood does not factorize humanization but it squeegees is not right. sent3: that something earths and it is benzenoid does not hold if it is not nonastringent. sent4: there is something such that it is benzenoid. sent5: something is not a kind of a cakewalk if the fact that it is a kind of an earth and it is benzenoid does not hold. sent6: if something is not an oxbow then it does not factorize humanization and it squeegees. sent7: the injector is not a bedbug if something is not a cakewalk and is benzenoid. sent8: the abettor is tetragonal. sent9: if the injector is not a Triplochiton the fact that the Tutu is a kind of a bedbug and is an oxbow does not hold. sent10: the fact that the equipment does not whish and does not award legume is not right if the abettor is not non-tetragonal. sent11: if that something is a Triplochiton is not wrong then it awards prosecutor. sent12: everything is not a cakewalk and it is benzenoid. sent13: the injector does not award prosecutor and is not a kind of a Triplochiton if the equipment is not a kind of a cakewalk. sent14: if the fact that that the equipment does not whish and it does not award legume is not wrong is incorrect then it is not nonastringent. sent15: if the Tutu is a eriogonum then the injector is a bedbug. ; $proof$ = 
void -> assump1: Let's assume that the Tutu is not a kind of an oxbow.; sent1 & assump1 -> int1: the Tutu is a kind of a eriogonum and it does obscure Platte.; int1 -> int2: the Tutu is a eriogonum.; int2 & sent15 -> int3: the injector is a bedbug.; sent12 -> int4: the abettor is not a cakewalk but it is benzenoid.; int4 -> int5: something is not a kind of a cakewalk but it is benzenoid.; int5 & sent7 -> int6: the injector is not a bedbug.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the Tutu is an oxbow.; sent11 -> int9: the equipment awards prosecutor if that it is a Triplochiton hold.; __UNKNOWN__