the tiptoe is not a Cantabrigian but it is a fireplace.
sent1: the fact that the hull is a kind of a noticer that does stage idiolect does not hold if it is not a kind of a feminine. sent2: that the tiptoe is a kind of a Cantabrigian that does not eviscerate green is not correct. sent3: the fact that the hull is a fireplace and does not stage idiolect does not hold. sent4: something is not a kind of a noticer if that it does not stage idiolect and it is not a feminine is not right. sent5: that something does not stage idiolect and it is not feminine does not hold if it does eviscerate green. sent6: that the hull is not a noticer but it stages idiolect is false if it is not a feminine. sent7: the fact that the hull is not feminine hold if the fact that it is not estrous and it is fernless is not correct. sent8: if something is a noticer the fact that it is a feminine and it does not stage idiolect does not hold. sent9: if the fact that the hull is not a noticer and does stage idiolect is not right then the tiptoe does not eviscerate green. sent10: the fact that that the hull is not estrous but it is fernless is not true is right. sent11: the tiptoe is a fireplace. sent12: if there is something such that the fact that it is feminine and it does not stage idiolect is not true the Astragalus is not a feminine. sent13: if something is not a kind of a noticer then the fact that it is not a kind of a Cantabrigian and it is a fireplace is not true.
sent7 & sent10 -> int1: the hull is not a kind of a feminine.; int1 & sent6 -> int2: that the hull is not a noticer and stages idiolect is incorrect.; int2 & sent9 -> int3: the tiptoe does not eviscerate green.; void -> assump1: Let's assume that the tiptoe is a Cantabrigian.; int3 & assump1 -> int4: the tiptoe is a Cantabrigian but it does not eviscerate green.; int4 & sent2 -> int5: this is contradiction.; [assump1] & int5 -> int6: the tiptoe is not a Cantabrigian.; int6 & sent11 -> hypothesis;
that the tiptoe is not a kind of a Cantabrigian but it is a fireplace is incorrect.
sent13 -> int7: if the tiptoe is not a noticer then the fact that it is both not a Cantabrigian and a fireplace is not right.; sent4 -> int8: if the fact that the tiptoe does not stage idiolect and it is non-feminine is wrong then the fact that it is not a noticer is correct.; sent5 -> int9: that the tiptoe does not stage idiolect and is not a kind of a feminine is not correct if it does eviscerate green.;
$hypothesis$ = the tiptoe is not a Cantabrigian but it is a fireplace. ; $context$ = sent1: the fact that the hull is a kind of a noticer that does stage idiolect does not hold if it is not a kind of a feminine. sent2: that the tiptoe is a kind of a Cantabrigian that does not eviscerate green is not correct. sent3: the fact that the hull is a fireplace and does not stage idiolect does not hold. sent4: something is not a kind of a noticer if that it does not stage idiolect and it is not a feminine is not right. sent5: that something does not stage idiolect and it is not feminine does not hold if it does eviscerate green. sent6: that the hull is not a noticer but it stages idiolect is false if it is not a feminine. sent7: the fact that the hull is not feminine hold if the fact that it is not estrous and it is fernless is not correct. sent8: if something is a noticer the fact that it is a feminine and it does not stage idiolect does not hold. sent9: if the fact that the hull is not a noticer and does stage idiolect is not right then the tiptoe does not eviscerate green. sent10: the fact that that the hull is not estrous but it is fernless is not true is right. sent11: the tiptoe is a fireplace. sent12: if there is something such that the fact that it is feminine and it does not stage idiolect is not true the Astragalus is not a feminine. sent13: if something is not a kind of a noticer then the fact that it is not a kind of a Cantabrigian and it is a fireplace is not true. ; $proof$ = 
sent7 & sent10 -> int1: the hull is not a kind of a feminine.; int1 & sent6 -> int2: that the hull is not a noticer and stages idiolect is incorrect.; int2 & sent9 -> int3: the tiptoe does not eviscerate green.; void -> assump1: Let's assume that the tiptoe is a Cantabrigian.; int3 & assump1 -> int4: the tiptoe is a Cantabrigian but it does not eviscerate green.; int4 & sent2 -> int5: this is contradiction.; [assump1] & int5 -> int6: the tiptoe is not a Cantabrigian.; int6 & sent11 -> hypothesis; __PROVED__