the fact that if the reenactor is a epidiascope then the tipster is urethral is not true.
sent1: the tipster is a Saxon if the pear is a bolt. sent2: the tipster is a Saxon if the pear is a requisiteness. sent3: the pear is not a quixotism if the reenactor is a epidiascope and it is a kind of an earthworm. sent4: if that something is not non-Saxon is not false then the fact that it is urethral hold. sent5: something is a bolt or it is a requisiteness or both if it is not a quixotism. sent6: the reenactor is an earthworm and it lurches microbe.
sent6 -> int1: the reenactor is a kind of an earthworm.; void -> assump1: Let's assume that the reenactor is a kind of a epidiascope.; int1 & assump1 -> int2: the reenactor is both a epidiascope and an earthworm.; int2 & sent3 -> int3: the pear is not a quixotism.; sent5 -> int4: if the fact that the pear is not a quixotism hold it bolts and/or it is a kind of a requisiteness.; int3 & int4 -> int5: the pear bolts and/or it is a kind of a requisiteness.; int5 & sent1 & sent2 -> int6: the tipster is a kind of a Saxon.; sent4 -> int7: the fact that the tipster is urethral is not false if it is Saxon.; int6 & int7 -> int8: the tipster is urethral.; [assump1] & int8 -> hypothesis;
$hypothesis$ = the fact that if the reenactor is a epidiascope then the tipster is urethral is not true. ; $context$ = sent1: the tipster is a Saxon if the pear is a bolt. sent2: the tipster is a Saxon if the pear is a requisiteness. sent3: the pear is not a quixotism if the reenactor is a epidiascope and it is a kind of an earthworm. sent4: if that something is not non-Saxon is not false then the fact that it is urethral hold. sent5: something is a bolt or it is a requisiteness or both if it is not a quixotism. sent6: the reenactor is an earthworm and it lurches microbe. ; $proof$ = 
sent6 -> int1: the reenactor is a kind of an earthworm.; void -> assump1: Let's assume that the reenactor is a kind of a epidiascope.; int1 & assump1 -> int2: the reenactor is both a epidiascope and an earthworm.; int2 & sent3 -> int3: the pear is not a quixotism.; sent5 -> int4: if the fact that the pear is not a quixotism hold it bolts and/or it is a kind of a requisiteness.; int3 & int4 -> int5: the pear bolts and/or it is a kind of a requisiteness.; int5 & sent1 & sent2 -> int6: the tipster is a kind of a Saxon.; sent4 -> int7: the fact that the tipster is urethral is not false if it is Saxon.; int6 & int7 -> int8: the tipster is urethral.; [assump1] & int8 -> hypothesis; __DISPROVED__