that the octoroon is appealable thing that is not asphaltic is not true.
sent1: there exists something such that it is a Sindhi that is a enthalpy. sent2: the gyro is not a kind of a whitey. sent3: the octoroon is not asphaltic. sent4: if the oatmeal is not appealable then the octoroon is not asphaltic. sent5: if something is not a sailing but it is a trisomy then the fact that it is a whitey is not false. sent6: if something does behold bearded the fact that it is not unappealable and it is not asphaltic is false. sent7: if the gyro is not a kind of a whitey that it does behold bearded and it does jibe is false. sent8: there is something such that it is a enthalpy. sent9: that the oatmeal is not a sailing is not false. sent10: the gyro is a Sindhi but it is not microcephalic. sent11: if the oatmeal is appealable it is not a Sindhi and is a kind of a enthalpy. sent12: the fact that there exists something such that it is both not a enthalpy and appealable is true. sent13: the oatmeal is a kind of a trisomy if the fact that it is not a trisomy but a SCID is false. sent14: if that something beholds bearded and it does jibe does not hold then it does not beholds bearded. sent15: the octoroon is appealable and not asphaltic if the oatmeal is not appealable. sent16: the fact that if the oatmeal does behold bearded the octoroon behold bearded hold. sent17: if the oatmeal is appealable it is a enthalpy. sent18: the gyro does behold bearded if something that is not a kind of a Sindhi is a kind of a enthalpy. sent19: there is something such that it is not a Sindhi. sent20: the oatmeal is a kind of a enthalpy.
void -> assump1: Let's assume that the oatmeal is appealable.; sent11 & assump1 -> int1: the oatmeal is both not a Sindhi and a enthalpy.; int1 -> int2: there exists something such that it is not a Sindhi and is a enthalpy.; int2 & sent18 -> int3: the gyro beholds bearded.; sent14 -> int4: if that the gyro does behold bearded and jibes is wrong it does not behold bearded.; sent7 & sent2 -> int5: that the gyro beholds bearded and it jibes is not true.; int4 & int5 -> int6: the gyro does not behold bearded.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the oatmeal is not appealable.; int8 & sent15 -> hypothesis;
that that the octoroon is both appealable and not asphaltic is not correct is not wrong.
sent6 -> int9: that the octoroon is appealable but it is not asphaltic does not hold if it beholds bearded.; sent5 -> int10: the fact that the oatmeal is the whitey if the oatmeal does not sail but it is a trisomy hold.;
$hypothesis$ = that the octoroon is appealable thing that is not asphaltic is not true. ; $context$ = sent1: there exists something such that it is a Sindhi that is a enthalpy. sent2: the gyro is not a kind of a whitey. sent3: the octoroon is not asphaltic. sent4: if the oatmeal is not appealable then the octoroon is not asphaltic. sent5: if something is not a sailing but it is a trisomy then the fact that it is a whitey is not false. sent6: if something does behold bearded the fact that it is not unappealable and it is not asphaltic is false. sent7: if the gyro is not a kind of a whitey that it does behold bearded and it does jibe is false. sent8: there is something such that it is a enthalpy. sent9: that the oatmeal is not a sailing is not false. sent10: the gyro is a Sindhi but it is not microcephalic. sent11: if the oatmeal is appealable it is not a Sindhi and is a kind of a enthalpy. sent12: the fact that there exists something such that it is both not a enthalpy and appealable is true. sent13: the oatmeal is a kind of a trisomy if the fact that it is not a trisomy but a SCID is false. sent14: if that something beholds bearded and it does jibe does not hold then it does not beholds bearded. sent15: the octoroon is appealable and not asphaltic if the oatmeal is not appealable. sent16: the fact that if the oatmeal does behold bearded the octoroon behold bearded hold. sent17: if the oatmeal is appealable it is a enthalpy. sent18: the gyro does behold bearded if something that is not a kind of a Sindhi is a kind of a enthalpy. sent19: there is something such that it is not a Sindhi. sent20: the oatmeal is a kind of a enthalpy. ; $proof$ = 
void -> assump1: Let's assume that the oatmeal is appealable.; sent11 & assump1 -> int1: the oatmeal is both not a Sindhi and a enthalpy.; int1 -> int2: there exists something such that it is not a Sindhi and is a enthalpy.; int2 & sent18 -> int3: the gyro beholds bearded.; sent14 -> int4: if that the gyro does behold bearded and jibes is wrong it does not behold bearded.; sent7 & sent2 -> int5: that the gyro beholds bearded and it jibes is not true.; int4 & int5 -> int6: the gyro does not behold bearded.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the oatmeal is not appealable.; int8 & sent15 -> hypothesis; __DISPROVED__