there is something such that if that it does not pin love and is a hostility is wrong then it is follicular.
sent1: if the fact that something is not a command and is a kind of a page is not true then it is a lederhosen. sent2: there exists something such that if the fact that it repossesses and it is nilpotent does not hold then it exclaims erection. sent3: there is something such that if the fact that it is a restraint and it hypnotizes guttersnipe does not hold then it is a kind of a perennation. sent4: there is something such that if the fact that it is not a hometown and is a Baal is incorrect it is a Virchow. sent5: if the fact that the erection is not a banner but it exclaims Mya is false the fact that it is follicular hold. sent6: the episode is a kind of a lunge if it is not a hostility and it is hypnotic. sent7: if that something is Levantine thing that teleports is incorrect then it is immoral. sent8: something is follicular if that it does not pin love and it is a kind of a hostility does not hold. sent9: if the sparer is not a hostility but it is a kind of a nodule it is dogmatic. sent10: there exists something such that if that it is a kind of a eudemon and it pins kilobit is incorrect then the fact that it pins Friulian is not incorrect. sent11: something is a Baal if it does not exclaim costing and it does command. sent12: if that the scholiast is a kind of non-Zambian a frazzle does not hold then it is follicular. sent13: if something is not papery then it is a Circassian. sent14: if the episode does not hypnotize brutalization then it is a kind of a hostility. sent15: the fact that the episode is rental is not wrong if it is not a kind of a saturation and it does pin love. sent16: there exists something such that if it is not synonymous then it is a sourpuss. sent17: something is a ticket-of-leave if it is not excretory and it does exclaim costing. sent18: if the episode does not exclaim wayfarer then it is warming. sent19: the episode does pin Friulian if it does not financier.
sent8 -> int1: if the fact that the episode does not pin love but it is a hostility is false it is follicular.; int1 -> hypothesis;
$hypothesis$ = there is something such that if that it does not pin love and is a hostility is wrong then it is follicular. ; $context$ = sent1: if the fact that something is not a command and is a kind of a page is not true then it is a lederhosen. sent2: there exists something such that if the fact that it repossesses and it is nilpotent does not hold then it exclaims erection. sent3: there is something such that if the fact that it is a restraint and it hypnotizes guttersnipe does not hold then it is a kind of a perennation. sent4: there is something such that if the fact that it is not a hometown and is a Baal is incorrect it is a Virchow. sent5: if the fact that the erection is not a banner but it exclaims Mya is false the fact that it is follicular hold. sent6: the episode is a kind of a lunge if it is not a hostility and it is hypnotic. sent7: if that something is Levantine thing that teleports is incorrect then it is immoral. sent8: something is follicular if that it does not pin love and it is a kind of a hostility does not hold. sent9: if the sparer is not a hostility but it is a kind of a nodule it is dogmatic. sent10: there exists something such that if that it is a kind of a eudemon and it pins kilobit is incorrect then the fact that it pins Friulian is not incorrect. sent11: something is a Baal if it does not exclaim costing and it does command. sent12: if that the scholiast is a kind of non-Zambian a frazzle does not hold then it is follicular. sent13: if something is not papery then it is a Circassian. sent14: if the episode does not hypnotize brutalization then it is a kind of a hostility. sent15: the fact that the episode is rental is not wrong if it is not a kind of a saturation and it does pin love. sent16: there exists something such that if it is not synonymous then it is a sourpuss. sent17: something is a ticket-of-leave if it is not excretory and it does exclaim costing. sent18: if the episode does not exclaim wayfarer then it is warming. sent19: the episode does pin Friulian if it does not financier. ; $proof$ = 
sent8 -> int1: if the fact that the episode does not pin love but it is a hostility is false it is follicular.; int1 -> hypothesis; __PROVED__