that the swine is a kind of a squash is not false.
sent1: if the conglomerate animadverts but it is not a kind of a prototherian it is a kind of a Uca. sent2: if something does rotate much then it is flatness and does not prejudice report. sent3: the fact that the fact that the swine is not a kind of a Bruneian and is a kind of a flatness is not correct is not wrong. sent4: something is a squash if it is flatness. sent5: something squashes if that it is non-Bruneian thing that is non-flatness is not correct. sent6: something is a kind of Bruneian thing that is a kind of a cantilever if it is not a kind of a flakiness. sent7: there is something such that it does not prejudice report. sent8: if the swine is flatness it is a squash. sent9: that the conglomerate does rotate much is true if it is a kind of a Uca. sent10: there is something such that it is a columbarium. sent11: if there exists something such that it does not prejudice report then the fact that the swine is both not Bruneian and not a flatness is not right. sent12: the fact that the swine is a kind of non-Bruneian a flatness is wrong if there exists something such that it does not prejudice report. sent13: there is something such that the fact that it is both branchless and a flakiness is incorrect. sent14: the swine is not a squash if the conglomerate does not prejudice report but it is a kind of a Bruneian.
sent7 & sent11 -> int1: that the swine is not a Bruneian and it is not flatness is not correct.; sent5 -> int2: if that the fact that the swine is both not a Bruneian and non-flatness is correct is wrong it squashes.; int1 & int2 -> hypothesis;
the swine is not a squash.
sent2 -> int3: if the conglomerate does rotate much it is flatness and it does not prejudice report.; sent6 -> int4: the conglomerate is a kind of a Bruneian that cantilevers if it is not a flakiness.;
$hypothesis$ = that the swine is a kind of a squash is not false. ; $context$ = sent1: if the conglomerate animadverts but it is not a kind of a prototherian it is a kind of a Uca. sent2: if something does rotate much then it is flatness and does not prejudice report. sent3: the fact that the fact that the swine is not a kind of a Bruneian and is a kind of a flatness is not correct is not wrong. sent4: something is a squash if it is flatness. sent5: something squashes if that it is non-Bruneian thing that is non-flatness is not correct. sent6: something is a kind of Bruneian thing that is a kind of a cantilever if it is not a kind of a flakiness. sent7: there is something such that it does not prejudice report. sent8: if the swine is flatness it is a squash. sent9: that the conglomerate does rotate much is true if it is a kind of a Uca. sent10: there is something such that it is a columbarium. sent11: if there exists something such that it does not prejudice report then the fact that the swine is both not Bruneian and not a flatness is not right. sent12: the fact that the swine is a kind of non-Bruneian a flatness is wrong if there exists something such that it does not prejudice report. sent13: there is something such that the fact that it is both branchless and a flakiness is incorrect. sent14: the swine is not a squash if the conglomerate does not prejudice report but it is a kind of a Bruneian. ; $proof$ = 
sent7 & sent11 -> int1: that the swine is not a Bruneian and it is not flatness is not correct.; sent5 -> int2: if that the fact that the swine is both not a Bruneian and non-flatness is correct is wrong it squashes.; int1 & int2 -> hypothesis; __PROVED__