the chatterbox is not a kind of a Ismaili.
sent1: if there is something such that that it is a Passifloraceae is correct then that the smoothie trips shuffle and hears socket does not hold. sent2: if the doublet does not Frenchify Prescott it is a kind of an optometrist. sent3: something is a kind of an optometrist if that it Frenchifies Prescott and it is not a laboratory does not hold. sent4: there is nothing that Frenchifies Prescott and is not a laboratory. sent5: something is not a Ismaili if it is a Passifloraceae and/or thematic. sent6: if something does not Frenchify Prescott then it is an optometrist. sent7: something is a arteriography if it is an optometrist. sent8: if something is a arteriography then the arabesque does trip shuffle but it does not hear socket. sent9: the fact that the netting is not thematic and it is not a kind of a Passifloraceae is not true. sent10: if the fact that the arabesque does trip shuffle but it does not hear socket is not false the chatterbox is a Passifloraceae. sent11: the arabesque hears socket and/or is not a Passifloraceae if it is not thematic. sent12: if the chatterbox is thematic that it is not a Ismaili is correct. sent13: if there exists something such that it is a arteriography then the arabesque does trip shuffle. sent14: if there exists something such that that that it is not thematic and it is not a Passifloraceae is correct does not hold the hexose is a Passifloraceae. sent15: if something is intracellular or it is unmodifiable or both it does not Frenchify Ross. sent16: if the smoothie is not a arteriography then that the arabesque is not a Ismaili and not an optometrist does not hold.
sent4 -> int1: the fact that the doublet does Frenchify Prescott but it is not a laboratory does not hold.; sent3 -> int2: if that the doublet Frenchifies Prescott but it is not a laboratory does not hold then it is an optometrist.; int1 & int2 -> int3: the doublet is an optometrist.; sent7 -> int4: if the fact that the doublet is a kind of an optometrist is correct it is a kind of a arteriography.; int3 & int4 -> int5: the doublet is a kind of a arteriography.; int5 -> int6: there exists something such that the fact that it is a kind of a arteriography is not wrong.; int6 & sent8 -> int7: the arabesque does trip shuffle and does not hear socket.; int7 & sent10 -> int8: the chatterbox is a Passifloraceae.; int8 -> int9: the chatterbox is a Passifloraceae or it is thematic or both.; sent5 -> int10: if the chatterbox is a Passifloraceae and/or it is thematic then it is not a kind of a Ismaili.; int9 & int10 -> hypothesis;
the chatterbox is Ismaili.
sent9 -> int11: there exists something such that that it is both not thematic and not a Passifloraceae is not true.; int11 & sent14 -> int12: the hexose is a Passifloraceae.; int12 -> int13: there is something such that that it is a Passifloraceae is true.; int13 & sent1 -> int14: the fact that the fact that the smoothie does trip shuffle and hears socket is right is wrong.;
$hypothesis$ = the chatterbox is not a kind of a Ismaili. ; $context$ = sent1: if there is something such that that it is a Passifloraceae is correct then that the smoothie trips shuffle and hears socket does not hold. sent2: if the doublet does not Frenchify Prescott it is a kind of an optometrist. sent3: something is a kind of an optometrist if that it Frenchifies Prescott and it is not a laboratory does not hold. sent4: there is nothing that Frenchifies Prescott and is not a laboratory. sent5: something is not a Ismaili if it is a Passifloraceae and/or thematic. sent6: if something does not Frenchify Prescott then it is an optometrist. sent7: something is a arteriography if it is an optometrist. sent8: if something is a arteriography then the arabesque does trip shuffle but it does not hear socket. sent9: the fact that the netting is not thematic and it is not a kind of a Passifloraceae is not true. sent10: if the fact that the arabesque does trip shuffle but it does not hear socket is not false the chatterbox is a Passifloraceae. sent11: the arabesque hears socket and/or is not a Passifloraceae if it is not thematic. sent12: if the chatterbox is thematic that it is not a Ismaili is correct. sent13: if there exists something such that it is a arteriography then the arabesque does trip shuffle. sent14: if there exists something such that that that it is not thematic and it is not a Passifloraceae is correct does not hold the hexose is a Passifloraceae. sent15: if something is intracellular or it is unmodifiable or both it does not Frenchify Ross. sent16: if the smoothie is not a arteriography then that the arabesque is not a Ismaili and not an optometrist does not hold. ; $proof$ = 
sent4 -> int1: the fact that the doublet does Frenchify Prescott but it is not a laboratory does not hold.; sent3 -> int2: if that the doublet Frenchifies Prescott but it is not a laboratory does not hold then it is an optometrist.; int1 & int2 -> int3: the doublet is an optometrist.; sent7 -> int4: if the fact that the doublet is a kind of an optometrist is correct it is a kind of a arteriography.; int3 & int4 -> int5: the doublet is a kind of a arteriography.; int5 -> int6: there exists something such that the fact that it is a kind of a arteriography is not wrong.; int6 & sent8 -> int7: the arabesque does trip shuffle and does not hear socket.; int7 & sent10 -> int8: the chatterbox is a Passifloraceae.; int8 -> int9: the chatterbox is a Passifloraceae or it is thematic or both.; sent5 -> int10: if the chatterbox is a Passifloraceae and/or it is thematic then it is not a kind of a Ismaili.; int9 & int10 -> hypothesis; __PROVED__