the mind spirals quad and is a pya.
sent1: the mind spirals quad if the potholer does not deflate ouzo. sent2: the potholer is trivalent and it is endodontic. sent3: the mind is a pya and it is a burled. sent4: something that is vestmental and deflates ouzo does not hook hotchpotch. sent5: if that something is endodontic is not false it is vestmental. sent6: the potholer is thermionics and does hook hotchpotch. sent7: if a non-endodontic thing is not vestmental then it is trivalent.
sent2 -> int1: the potholer is not non-endodontic.; sent5 -> int2: if the potholer is endodontic then it is vestmental.; int1 & int2 -> int3: the fact that the potholer is vestmental is true.; void -> assump1: Let's assume that the potholer does deflate ouzo.; int3 & assump1 -> int4: the potholer is vestmental and does deflate ouzo.; sent4 -> int5: that the potholer does not hook hotchpotch hold if it is vestmental and it deflates ouzo.; int4 & int5 -> int6: the potholer does not hook hotchpotch.; sent6 -> int7: the potholer does hook hotchpotch.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the potholer does not deflate ouzo.; int9 & sent1 -> int10: the mind does spiral quad.; sent3 -> int11: the mind is a pya.; int10 & int11 -> hypothesis;
the mind is thermionics.
sent7 -> int12: if the mind is non-endodontic thing that is not vestmental it is trivalent.;
$hypothesis$ = the mind spirals quad and is a pya. ; $context$ = sent1: the mind spirals quad if the potholer does not deflate ouzo. sent2: the potholer is trivalent and it is endodontic. sent3: the mind is a pya and it is a burled. sent4: something that is vestmental and deflates ouzo does not hook hotchpotch. sent5: if that something is endodontic is not false it is vestmental. sent6: the potholer is thermionics and does hook hotchpotch. sent7: if a non-endodontic thing is not vestmental then it is trivalent. ; $proof$ = 
sent2 -> int1: the potholer is not non-endodontic.; sent5 -> int2: if the potholer is endodontic then it is vestmental.; int1 & int2 -> int3: the fact that the potholer is vestmental is true.; void -> assump1: Let's assume that the potholer does deflate ouzo.; int3 & assump1 -> int4: the potholer is vestmental and does deflate ouzo.; sent4 -> int5: that the potholer does not hook hotchpotch hold if it is vestmental and it deflates ouzo.; int4 & int5 -> int6: the potholer does not hook hotchpotch.; sent6 -> int7: the potholer does hook hotchpotch.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the potholer does not deflate ouzo.; int9 & sent1 -> int10: the mind does spiral quad.; sent3 -> int11: the mind is a pya.; int10 & int11 -> hypothesis; __PROVED__