the fact that if the push does angle the arctiid is a spree does not hold.
sent1: if something is a depersonalization the fact that it does not spree and it recedes is not correct. sent2: something is a kind of an angle if the fact that the fact that it does not spree and it recedes is right does not hold. sent3: the push recedes if it is an angle. sent4: the push is monoecious and it bypasses soup-strainer. sent5: if something is monoecious then it is not unshaven and it barks push. sent6: if that the push recedes hold the arctiid is a spree.
void -> assump1: Let's assume that the push angles.; sent3 & assump1 -> int1: that the push recedes is true.; sent6 & int1 -> int2: the arctiid is a spree.; [assump1] & int2 -> hypothesis;
the arctiid is a kind of an angle.
sent2 -> int3: if that the fact that the arctiid is not a kind of a spree but it recedes hold is false it is an angle.; sent1 -> int4: that the arctiid does not spree but it does recede is false if it is a depersonalization.; sent5 -> int5: that if the push is monoecious then the push is a kind of non-unshaven thing that barks push hold.; sent4 -> int6: the push is monoecious.; int5 & int6 -> int7: the push is non-unshaven thing that barks push.; int7 -> int8: there is something such that it is not unshaven and does bark push.;
$hypothesis$ = the fact that if the push does angle the arctiid is a spree does not hold. ; $context$ = sent1: if something is a depersonalization the fact that it does not spree and it recedes is not correct. sent2: something is a kind of an angle if the fact that the fact that it does not spree and it recedes is right does not hold. sent3: the push recedes if it is an angle. sent4: the push is monoecious and it bypasses soup-strainer. sent5: if something is monoecious then it is not unshaven and it barks push. sent6: if that the push recedes hold the arctiid is a spree. ; $proof$ = 
void -> assump1: Let's assume that the push angles.; sent3 & assump1 -> int1: that the push recedes is true.; sent6 & int1 -> int2: the arctiid is a spree.; [assump1] & int2 -> hypothesis; __DISPROVED__