there is something such that if the fact that it is a kind of non-orthodox thing that tamps Anshar is not right then it does not tamp glyceraldehyde.
sent1: the thoroughfare does not tamp glyceraldehyde if it is orthodox. sent2: there is something such that if it is orthodox then it does not tamp glyceraldehyde. sent3: there exists something such that if that it is unorthodox thing that does tamp Anshar is wrong then it tamps glyceraldehyde. sent4: there exists something such that if it conventionalizes lounger then the fact that it does not conventionalize Khartoum is right. sent5: the thoroughfare does not tamp glyceraldehyde if the fact that it is not orthodox and it does tamp Anshar does not hold. sent6: if the fact that something is not a wicket but it is ammino is not right then it is not a kind of a Goldmark.
sent5 -> hypothesis;
the fact that there is something such that if that it is not a kind of a wicket and it is ammino is wrong it is not a kind of a Goldmark is not false.
sent6 -> int1: if the fact that the glyceraldehyde is not a wicket but it is ammino is false it is not a Goldmark.; int1 -> hypothesis;
$hypothesis$ = there is something such that if the fact that it is a kind of non-orthodox thing that tamps Anshar is not right then it does not tamp glyceraldehyde. ; $context$ = sent1: the thoroughfare does not tamp glyceraldehyde if it is orthodox. sent2: there is something such that if it is orthodox then it does not tamp glyceraldehyde. sent3: there exists something such that if that it is unorthodox thing that does tamp Anshar is wrong then it tamps glyceraldehyde. sent4: there exists something such that if it conventionalizes lounger then the fact that it does not conventionalize Khartoum is right. sent5: the thoroughfare does not tamp glyceraldehyde if the fact that it is not orthodox and it does tamp Anshar does not hold. sent6: if the fact that something is not a wicket but it is ammino is not right then it is not a kind of a Goldmark. ; $proof$ = 
sent5 -> hypothesis; __PROVED__