that there exists something such that if it is meiotic then it does not trail and it does not reorient is not correct.
sent1: there is something such that if the fact that it jets speakeasy is true then it does not speculate. sent2: the venogram is not a kind of a Phleum. sent3: if the fact that something does not trail and it does not reorient is incorrect it is not meiotic. sent4: if the fact that that the venogram is not a settler and is meiotic is not incorrect is not true that it is not a constitutional is not incorrect. sent5: the Michigander does not trail.
sent3 -> int1: the fact that the venogram is not meiotic is correct if the fact that it is not a trail and it does not reorient is not correct.; void -> assump1: Let's assume that the fact that the fact that the venogram does not trail and does not reorient is correct is not true.; int1 & assump1 -> int2: the venogram is not meiotic.; void -> assump2: Let's assume that the fact that the venogram is meiotic hold.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the venogram is not a trail and does not reorient.; [assump2] & int4 -> int5: the venogram is not a kind of a trail and does not reorient if it is meiotic.; int5 -> hypothesis;
$hypothesis$ = that there exists something such that if it is meiotic then it does not trail and it does not reorient is not correct. ; $context$ = sent1: there is something such that if the fact that it jets speakeasy is true then it does not speculate. sent2: the venogram is not a kind of a Phleum. sent3: if the fact that something does not trail and it does not reorient is incorrect it is not meiotic. sent4: if the fact that that the venogram is not a settler and is meiotic is not incorrect is not true that it is not a constitutional is not incorrect. sent5: the Michigander does not trail. ; $proof$ = 
sent3 -> int1: the fact that the venogram is not meiotic is correct if the fact that it is not a trail and it does not reorient is not correct.; void -> assump1: Let's assume that the fact that the fact that the venogram does not trail and does not reorient is correct is not true.; int1 & assump1 -> int2: the venogram is not meiotic.; void -> assump2: Let's assume that the fact that the venogram is meiotic hold.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the venogram is not a trail and does not reorient.; [assump2] & int4 -> int5: the venogram is not a kind of a trail and does not reorient if it is meiotic.; int5 -> hypothesis; __DISPROVED__