the nonparticipant does outstare nimbleness.
sent1: that the outport is not repetitive but it does piddle topolatry is false if the nonparticipant is not repetitive. sent2: the troublemaker is a vase and it is a Pygmy if there is something such that the fact that it does not outstare subscript is true. sent3: if the fact that the outport is not repetitive and piddles topolatry is not true the troublemaker is not a kind of a Pygmy. sent4: the hoist does not outstare subscript. sent5: the fact that the outport is not repetitive and/or it does not candle is incorrect if it does not outstare nimbleness. sent6: The subscript does not outstare hoist. sent7: something is not repetitive if it is a candle. sent8: something does not outstare nimbleness if that it either is not a gunrunner or does not outstare Camelot or both is not correct. sent9: if the nonparticipant is not a kind of a candle then the fact that it is not a kind of a gunrunner and/or it does not outstare Camelot is not correct.
sent7 -> int1: the nonparticipant is not repetitive if it does candle.; void -> assump1: Let's assume that the nonparticipant does candle.; int1 & assump1 -> int2: the nonparticipant is not repetitive.; int2 & sent1 -> int3: that the outport is not repetitive but it piddles topolatry is not true.; int3 & sent3 -> int4: the fact that the troublemaker is not a Pygmy is true.; sent4 -> int5: there is something such that it does not outstare subscript.; int5 & sent2 -> int6: the troublemaker is both a vase and a Pygmy.; int6 -> int7: the troublemaker is a Pygmy.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the nonparticipant is not a candle.; int9 & sent9 -> int10: the fact that either the nonparticipant is not a gunrunner or it does not outstare Camelot or both is not correct.; sent8 -> int11: the nonparticipant does not outstare nimbleness if that it is not a gunrunner or it does not outstare Camelot or both is incorrect.; int10 & int11 -> hypothesis;
$hypothesis$ = the nonparticipant does outstare nimbleness. ; $context$ = sent1: that the outport is not repetitive but it does piddle topolatry is false if the nonparticipant is not repetitive. sent2: the troublemaker is a vase and it is a Pygmy if there is something such that the fact that it does not outstare subscript is true. sent3: if the fact that the outport is not repetitive and piddles topolatry is not true the troublemaker is not a kind of a Pygmy. sent4: the hoist does not outstare subscript. sent5: the fact that the outport is not repetitive and/or it does not candle is incorrect if it does not outstare nimbleness. sent6: The subscript does not outstare hoist. sent7: something is not repetitive if it is a candle. sent8: something does not outstare nimbleness if that it either is not a gunrunner or does not outstare Camelot or both is not correct. sent9: if the nonparticipant is not a kind of a candle then the fact that it is not a kind of a gunrunner and/or it does not outstare Camelot is not correct. ; $proof$ = 
sent7 -> int1: the nonparticipant is not repetitive if it does candle.; void -> assump1: Let's assume that the nonparticipant does candle.; int1 & assump1 -> int2: the nonparticipant is not repetitive.; int2 & sent1 -> int3: that the outport is not repetitive but it piddles topolatry is not true.; int3 & sent3 -> int4: the fact that the troublemaker is not a Pygmy is true.; sent4 -> int5: there is something such that it does not outstare subscript.; int5 & sent2 -> int6: the troublemaker is both a vase and a Pygmy.; int6 -> int7: the troublemaker is a Pygmy.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the nonparticipant is not a candle.; int9 & sent9 -> int10: the fact that either the nonparticipant is not a gunrunner or it does not outstare Camelot or both is not correct.; sent8 -> int11: the nonparticipant does not outstare nimbleness if that it is not a gunrunner or it does not outstare Camelot or both is incorrect.; int10 & int11 -> hypothesis; __DISPROVED__