there exists something such that if the fact that it is non-denotative and mechanical does not hold then it is not a burrfish.
sent1: there exists something such that if it does not strike ureter and it does not concretize grantee then it is not a dictostylium. sent2: the stupid is not nonmechanical if the fact that it is an affix and it does not concretize Ostwald is not right. sent3: there is something such that if that it is bibliotics and it does not strike Salvadoran is incorrect it is not popular. sent4: there is something such that if that it does not madden weber and is not nonwashable is not right then it does not barrack. sent5: if the fact that something is not denotative and it is not nonmechanical is wrong it is not a burrfish. sent6: there exists something such that if that it is not intermediate and it is not inefficient is not true then it is not a conformation. sent7: there is something such that if the fact that it does not madden arrow and it is not guilty does not hold it is a basketeer. sent8: if the fact that something is denotative but it is not nonmechanical is not correct it is not a burrfish. sent9: there exists something such that if it is not a kind of a flytrap and it is not a Jinja then it does not strike twins. sent10: there is something such that if it is a kind of a jodhpurs then it does not glamorize ration. sent11: the pullulation is not a Tobey if it is not Aleutian and it does not glamorize amphitheater. sent12: if the pullulation does not glamorize Rolodex and is not pemphigous then it is not a burrfish. sent13: something is not a kind of a department if the fact that it is not guilty and it is unimpressionable is not right. sent14: there exists something such that if that it is not a Stoic and it is not an abdominal is not true it does not madden weber. sent15: there exists something such that if the fact that it does whish and is not a kind of a boogie is not true it does not madden kicksorter. sent16: there is something such that if that it is not a kind of a gamelan and is not nondeductible does not hold the fact that it is not a eburnation hold. sent17: there is something such that if it is not a pabulum and it is not a centrifugation it is not a justice.
sent5 -> int1: the pullulation is not a burrfish if the fact that it is not denotative and is not nonmechanical is not right.; int1 -> hypothesis;
there is something such that if that it is not guilty and is not impressionable is not true it is not a kind of a department.
sent13 -> int2: if that the kiwi is non-guilty thing that is not impressionable is incorrect then it is not a department.; int2 -> hypothesis;
$hypothesis$ = there exists something such that if the fact that it is non-denotative and mechanical does not hold then it is not a burrfish. ; $context$ = sent1: there exists something such that if it does not strike ureter and it does not concretize grantee then it is not a dictostylium. sent2: the stupid is not nonmechanical if the fact that it is an affix and it does not concretize Ostwald is not right. sent3: there is something such that if that it is bibliotics and it does not strike Salvadoran is incorrect it is not popular. sent4: there is something such that if that it does not madden weber and is not nonwashable is not right then it does not barrack. sent5: if the fact that something is not denotative and it is not nonmechanical is wrong it is not a burrfish. sent6: there exists something such that if that it is not intermediate and it is not inefficient is not true then it is not a conformation. sent7: there is something such that if the fact that it does not madden arrow and it is not guilty does not hold it is a basketeer. sent8: if the fact that something is denotative but it is not nonmechanical is not correct it is not a burrfish. sent9: there exists something such that if it is not a kind of a flytrap and it is not a Jinja then it does not strike twins. sent10: there is something such that if it is a kind of a jodhpurs then it does not glamorize ration. sent11: the pullulation is not a Tobey if it is not Aleutian and it does not glamorize amphitheater. sent12: if the pullulation does not glamorize Rolodex and is not pemphigous then it is not a burrfish. sent13: something is not a kind of a department if the fact that it is not guilty and it is unimpressionable is not right. sent14: there exists something such that if that it is not a Stoic and it is not an abdominal is not true it does not madden weber. sent15: there exists something such that if the fact that it does whish and is not a kind of a boogie is not true it does not madden kicksorter. sent16: there is something such that if that it is not a kind of a gamelan and is not nondeductible does not hold the fact that it is not a eburnation hold. sent17: there is something such that if it is not a pabulum and it is not a centrifugation it is not a justice. ; $proof$ = 
sent5 -> int1: the pullulation is not a burrfish if the fact that it is not denotative and is not nonmechanical is not right.; int1 -> hypothesis; __PROVED__