that there exists something such that if the fact that it is not a Caucasian but salamandriform is not right it does not burp is wrong.
sent1: there exists something such that if it is not salamandriform then it does not burp. sent2: if the fact that something is not Spanish but it does bind is wrong then it is not a quickie. sent3: if that that the pogge is not Caucasian but salamandriform is not true is not incorrect it does burp. sent4: if the pogge is not salamandriform it does not burp. sent5: there is something such that if the fact that it is a Caucasian that is salamandriform is false then it does not burp. sent6: the pogge does not burp if the fact that it is a Caucasian and it is salamandriform is not right. sent7: if something is not salamandriform then it does not burp. sent8: if the pogge is not Caucasian but it is salamandriform then it does not burp. sent9: there is something such that if that it is not a Caucasian and it is salamandriform is not true then it does burp. sent10: there is something such that if that it is not a cycle and is a Lancelot does not hold then it is not pyknotic. sent11: something burps if the fact that it is not a kind of a Caucasian and it is salamandriform is not true. sent12: the fact that if the fact that something is a Caucasian and salamandriform is false then it does not burp is true. sent13: the fact that something does not burp is correct if that it is not Caucasian and it is salamandriform is incorrect. sent14: if something that is not a kind of a Caucasian is salamandriform then it does not burp. sent15: there exists something such that if it is both not a Caucasian and salamandriform then it does not burp.
sent13 -> int1: the pogge does not burp if the fact that it is both not Caucasian and salamandriform is incorrect.; int1 -> hypothesis;
$hypothesis$ = that there exists something such that if the fact that it is not a Caucasian but salamandriform is not right it does not burp is wrong. ; $context$ = sent1: there exists something such that if it is not salamandriform then it does not burp. sent2: if the fact that something is not Spanish but it does bind is wrong then it is not a quickie. sent3: if that that the pogge is not Caucasian but salamandriform is not true is not incorrect it does burp. sent4: if the pogge is not salamandriform it does not burp. sent5: there is something such that if the fact that it is a Caucasian that is salamandriform is false then it does not burp. sent6: the pogge does not burp if the fact that it is a Caucasian and it is salamandriform is not right. sent7: if something is not salamandriform then it does not burp. sent8: if the pogge is not Caucasian but it is salamandriform then it does not burp. sent9: there is something such that if that it is not a Caucasian and it is salamandriform is not true then it does burp. sent10: there is something such that if that it is not a cycle and is a Lancelot does not hold then it is not pyknotic. sent11: something burps if the fact that it is not a kind of a Caucasian and it is salamandriform is not true. sent12: the fact that if the fact that something is a Caucasian and salamandriform is false then it does not burp is true. sent13: the fact that something does not burp is correct if that it is not Caucasian and it is salamandriform is incorrect. sent14: if something that is not a kind of a Caucasian is salamandriform then it does not burp. sent15: there exists something such that if it is both not a Caucasian and salamandriform then it does not burp. ; $proof$ = 
sent13 -> int1: the pogge does not burp if the fact that it is both not Caucasian and salamandriform is incorrect.; int1 -> hypothesis; __DISPROVED__