there exists something such that if the fact that it transitivizes and is a reincarnationism is not correct then it is non-hircine.
sent1: there exists something such that if it is not a kind of a reincarnationism then it is not hircine. sent2: the shaver is not hircine if it transitivizes and it is a kind of a reincarnationism. sent3: the shaver is not hircine if that it transitivizes and it is a kind of a reincarnationism is wrong. sent4: there exists something such that if it does not transitivize it is not hircine. sent5: if that something is a kind of a spiel and is interior does not hold the fact that it is a Angas is not true. sent6: there is something such that if the fact that it does transitivize and is a kind of a reincarnationism is false that it is not hircine is not correct. sent7: there is something such that if that it is a kind of a Belmont and it organizes blare is wrong then it is not a preceptorship. sent8: that the shaver is not hircine is not incorrect if it is not a reincarnationism. sent9: there exists something such that if the fact that it is a kind of unbroken thing that does freckle stuffing is not true it is not a fluidounce. sent10: the shaver is hircine if the fact that it transitivizes and is a kind of a reincarnationism is false. sent11: there exists something such that if the fact that it is a kind of a Cerapteryx and it is a fidget is false it is not unnecessary. sent12: there is something such that if it does transitivize and is a reincarnationism then it is not hircine.
sent3 -> hypothesis;
there is something such that if that it is a kind of a spiel and is interior is not true then it is not a Angas.
sent5 -> int1: if the fact that the sheepshead is a spiel that is interior does not hold it is not a kind of a Angas.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if the fact that it transitivizes and is a reincarnationism is not correct then it is non-hircine. ; $context$ = sent1: there exists something such that if it is not a kind of a reincarnationism then it is not hircine. sent2: the shaver is not hircine if it transitivizes and it is a kind of a reincarnationism. sent3: the shaver is not hircine if that it transitivizes and it is a kind of a reincarnationism is wrong. sent4: there exists something such that if it does not transitivize it is not hircine. sent5: if that something is a kind of a spiel and is interior does not hold the fact that it is a Angas is not true. sent6: there is something such that if the fact that it does transitivize and is a kind of a reincarnationism is false that it is not hircine is not correct. sent7: there is something such that if that it is a kind of a Belmont and it organizes blare is wrong then it is not a preceptorship. sent8: that the shaver is not hircine is not incorrect if it is not a reincarnationism. sent9: there exists something such that if the fact that it is a kind of unbroken thing that does freckle stuffing is not true it is not a fluidounce. sent10: the shaver is hircine if the fact that it transitivizes and is a kind of a reincarnationism is false. sent11: there exists something such that if the fact that it is a kind of a Cerapteryx and it is a fidget is false it is not unnecessary. sent12: there is something such that if it does transitivize and is a reincarnationism then it is not hircine. ; $proof$ = 
sent3 -> hypothesis; __PROVED__