the Ohioan is not an egoism.
sent1: if the kinin is not a Naiki then the pronator is both not axiomatic and not faceless. sent2: something is monocarboxylic and it is a kind of a Naiki. sent3: the jewelry is not a checkers. sent4: the Weizenbier does not checker. sent5: the Ohioan is alive if the empress is a kind of an egoism. sent6: the kinin is monocarboxylic. sent7: the empress is alive if there is something such that the fact that it beggars thwack and it hogs Selenicereus does not hold. sent8: that the empress does beggar thwack is not false. sent9: the oyabun is not a checkers. sent10: if the pronator is not axiomatic and it is not faceless then it is not a checkers. sent11: if the empress is alive then the pronator checkers. sent12: the kinin is a checkers. sent13: the kinin is not a Naiki. sent14: there exists something such that it is alive and it is axiomatic. sent15: the empress is not synesthetic. sent16: if something is not monocarboxylic then the fact that it beggars thwack and does hog Selenicereus is wrong. sent17: the empress is a checkers. sent18: that the Ohioan beggars thwack if something is not faceless is correct. sent19: if the Ohioan is both not monocarboxylic and faceless then it does not beggar thwack. sent20: the empress is a Naiki. sent21: if something is faceless then it is a kind of a checkers. sent22: if something is monocarboxylic then it is an egoism. sent23: the Ohioan is a Naiki if there is something such that the fact that it is alive thing that is monocarboxylic is wrong.
sent16 -> int1: if the Ohioan is not monocarboxylic then that it does beggar thwack and it hogs Selenicereus is not true.; void -> assump1: Let's assume that the Ohioan is not monocarboxylic.; int1 & assump1 -> int2: the fact that the Ohioan beggars thwack and hogs Selenicereus is incorrect.; int2 -> int3: that there exists something such that that it does beggar thwack and does hog Selenicereus is not right is true.; int3 & sent7 -> int4: the empress is alive.; int4 & sent11 -> int5: the pronator is a kind of a checkers.; sent1 & sent13 -> int6: the pronator is not axiomatic and it is not faceless.; sent10 & int6 -> int7: the pronator is not a checkers.; int5 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the Ohioan is monocarboxylic.; sent22 -> int10: the Ohioan is an egoism if it is monocarboxylic.; int9 & int10 -> hypothesis;
the Ohioan is not an egoism.
sent21 -> int11: if the empress is faceless then it is a checkers.;
$hypothesis$ = the Ohioan is not an egoism. ; $context$ = sent1: if the kinin is not a Naiki then the pronator is both not axiomatic and not faceless. sent2: something is monocarboxylic and it is a kind of a Naiki. sent3: the jewelry is not a checkers. sent4: the Weizenbier does not checker. sent5: the Ohioan is alive if the empress is a kind of an egoism. sent6: the kinin is monocarboxylic. sent7: the empress is alive if there is something such that the fact that it beggars thwack and it hogs Selenicereus does not hold. sent8: that the empress does beggar thwack is not false. sent9: the oyabun is not a checkers. sent10: if the pronator is not axiomatic and it is not faceless then it is not a checkers. sent11: if the empress is alive then the pronator checkers. sent12: the kinin is a checkers. sent13: the kinin is not a Naiki. sent14: there exists something such that it is alive and it is axiomatic. sent15: the empress is not synesthetic. sent16: if something is not monocarboxylic then the fact that it beggars thwack and does hog Selenicereus is wrong. sent17: the empress is a checkers. sent18: that the Ohioan beggars thwack if something is not faceless is correct. sent19: if the Ohioan is both not monocarboxylic and faceless then it does not beggar thwack. sent20: the empress is a Naiki. sent21: if something is faceless then it is a kind of a checkers. sent22: if something is monocarboxylic then it is an egoism. sent23: the Ohioan is a Naiki if there is something such that the fact that it is alive thing that is monocarboxylic is wrong. ; $proof$ = 
sent16 -> int1: if the Ohioan is not monocarboxylic then that it does beggar thwack and it hogs Selenicereus is not true.; void -> assump1: Let's assume that the Ohioan is not monocarboxylic.; int1 & assump1 -> int2: the fact that the Ohioan beggars thwack and hogs Selenicereus is incorrect.; int2 -> int3: that there exists something such that that it does beggar thwack and does hog Selenicereus is not right is true.; int3 & sent7 -> int4: the empress is alive.; int4 & sent11 -> int5: the pronator is a kind of a checkers.; sent1 & sent13 -> int6: the pronator is not axiomatic and it is not faceless.; sent10 & int6 -> int7: the pronator is not a checkers.; int5 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the Ohioan is monocarboxylic.; sent22 -> int10: the Ohioan is an egoism if it is monocarboxylic.; int9 & int10 -> hypothesis; __DISPROVED__