there exists something such that the fact that it is a blush and it is a kind of a proctology is false.
sent1: there exists something such that it is a tumbler. sent2: that something is a kind of a Anatolian is right. sent3: the fact that something knocks kit and is a conidium is not true if that it is not a suggester is right. sent4: the fact that the pore is not non-theosophical but a suggester does not hold. sent5: if the fact that the Gypsy is a Albion but not a proctology does not hold then the pore is a kind of a proctology. sent6: the fact that the pore is a kind of a blush and it is a proctology is false if there is something such that it is a kind of a suggester. sent7: if there is something such that it is a Otus that the Gypsy is a Albion and not a proctology does not hold. sent8: the fact that the striper does blush and it talcs Sicily does not hold. sent9: there is something such that it is a kind of a Afro-wig. sent10: there is something such that that it does persist and flickers Daba does not hold. sent11: there exists something such that it does flicker scrubbird and it is placable. sent12: the kit is a Otus. sent13: there exists something such that the fact that it is a kind of a blush and it is a proctology is not wrong. sent14: something is a kind of a suggester. sent15: that the architecture flickers puppy and it is tactful is false.
sent14 & sent6 -> int1: that the pore blushes and it is a kind of a proctology is not true.; int1 -> hypothesis;
there exists something such that the fact that it knocks kit and is a conidium is not true.
sent3 -> int2: if the pore is not a kind of a suggester then the fact that it knocks kit and it is a conidium is wrong.; sent12 -> int3: there is something such that it is a Otus.; int3 & sent7 -> int4: the fact that the Gypsy is both a Albion and not a proctology is not true.; sent5 & int4 -> int5: the pore is a proctology.;
$hypothesis$ = there exists something such that the fact that it is a blush and it is a kind of a proctology is false. ; $context$ = sent1: there exists something such that it is a tumbler. sent2: that something is a kind of a Anatolian is right. sent3: the fact that something knocks kit and is a conidium is not true if that it is not a suggester is right. sent4: the fact that the pore is not non-theosophical but a suggester does not hold. sent5: if the fact that the Gypsy is a Albion but not a proctology does not hold then the pore is a kind of a proctology. sent6: the fact that the pore is a kind of a blush and it is a proctology is false if there is something such that it is a kind of a suggester. sent7: if there is something such that it is a Otus that the Gypsy is a Albion and not a proctology does not hold. sent8: the fact that the striper does blush and it talcs Sicily does not hold. sent9: there is something such that it is a kind of a Afro-wig. sent10: there is something such that that it does persist and flickers Daba does not hold. sent11: there exists something such that it does flicker scrubbird and it is placable. sent12: the kit is a Otus. sent13: there exists something such that the fact that it is a kind of a blush and it is a proctology is not wrong. sent14: something is a kind of a suggester. sent15: that the architecture flickers puppy and it is tactful is false. ; $proof$ = 
sent14 & sent6 -> int1: that the pore blushes and it is a kind of a proctology is not true.; int1 -> hypothesis; __PROVED__