the Kiowa is not Liverpudlian.
sent1: that the flan is not unneurotic hold. sent2: if the flan is not tactical the Kiowa is a oxidoreductase. sent3: if the Kiowa does top hill the fact that it is a Liverpudlian is true. sent4: something that is tactical is not non-unneurotic and not welcoming. sent5: if something is a oxidoreductase then it does top hill. sent6: if the fact that something is valvular thing that does not grub Kiowa is incorrect then it does not top hill. sent7: if the applesauce does not grub Kiowa it is a kind of a oxidoreductase that tops hill.
sent4 -> int1: if the flan is tactical it is a kind of unneurotic thing that does not welcome.; void -> assump1: Let's assume that that the flan is tactical hold.; int1 & assump1 -> int2: the flan is unneurotic but it does not welcome.; int2 -> int3: the flan is unneurotic.; int3 & sent1 -> int4: this is contradiction.; [assump1] & int4 -> int5: the flan is not tactical.; int5 & sent2 -> int6: the Kiowa is a oxidoreductase.; sent5 -> int7: that if the Kiowa is the oxidoreductase that the Kiowa tops hill hold is correct.; int6 & int7 -> int8: the Kiowa does top hill.; int8 & sent3 -> hypothesis;
the applesauce is not a kind of a Liverpudlian.
$hypothesis$ = the Kiowa is not Liverpudlian. ; $context$ = sent1: that the flan is not unneurotic hold. sent2: if the flan is not tactical the Kiowa is a oxidoreductase. sent3: if the Kiowa does top hill the fact that it is a Liverpudlian is true. sent4: something that is tactical is not non-unneurotic and not welcoming. sent5: if something is a oxidoreductase then it does top hill. sent6: if the fact that something is valvular thing that does not grub Kiowa is incorrect then it does not top hill. sent7: if the applesauce does not grub Kiowa it is a kind of a oxidoreductase that tops hill. ; $proof$ = 
sent4 -> int1: if the flan is tactical it is a kind of unneurotic thing that does not welcome.; void -> assump1: Let's assume that that the flan is tactical hold.; int1 & assump1 -> int2: the flan is unneurotic but it does not welcome.; int2 -> int3: the flan is unneurotic.; int3 & sent1 -> int4: this is contradiction.; [assump1] & int4 -> int5: the flan is not tactical.; int5 & sent2 -> int6: the Kiowa is a oxidoreductase.; sent5 -> int7: that if the Kiowa is the oxidoreductase that the Kiowa tops hill hold is correct.; int6 & int7 -> int8: the Kiowa does top hill.; int8 & sent3 -> hypothesis; __DISPROVED__