the fact that the polyfoam is not a kind of a Converso but it beats Frobisher does not hold.
sent1: if something is informational it is a devotion. sent2: something is not carnal but it does dominate Martin if it is not a kind of a Tchaikovsky. sent3: the tailor-made is Minoan if that the cantle is not a prosimian and it is not nonreturnable is not incorrect. sent4: the earmuff is a kind of a prosimian but it is not a kind of a lipase if the journalism is not nonreturnable. sent5: the journalism is informational if there is something such that that it is cenogenetic and it is a T-network is wrong. sent6: if that the earmuff does not humanize enucleation and does not symbolize Schmidt is not wrong the journalism is a lipase. sent7: the earmuff is a kind of a Tchaikovsky. sent8: the polyfoam is not a Converso but it does beat Frobisher if the tailor-made is Minoan. sent9: if the fact that the journalism does not beat Frobisher and is nonreturnable does not hold then it is not nonreturnable. sent10: there is something such that the fact that it is cenogenetic thing that is a kind of a T-network does not hold. sent11: the earmuff does not humanize enucleation and does not symbolize Schmidt if it is a Tchaikovsky. sent12: if the journalism is a lipase and it is a devotion the lawman is not a prosimian. sent13: the fact that the journalism does not beat Frobisher and is nonreturnable does not hold if it is a Minoan. sent14: that something is not a kind of a Converso but it beats Frobisher is incorrect if it is a kind of a Tchaikovsky. sent15: if the lawman is not a prosimian then the cantle is not a prosimian and it is not nonreturnable. sent16: if that something is a lipase that is not a devotion is false then it is not a Tchaikovsky.
sent11 & sent7 -> int1: the earmuff does not humanize enucleation and does not symbolize Schmidt.; int1 & sent6 -> int2: the journalism is a lipase.; sent1 -> int3: the journalism is a kind of a devotion if it is informational.; sent10 & sent5 -> int4: the journalism is informational.; int3 & int4 -> int5: the journalism is a devotion.; int2 & int5 -> int6: the journalism is a lipase and a devotion.; int6 & sent12 -> int7: the lawman is not a prosimian.; int7 & sent15 -> int8: the cantle is not a prosimian and not nonreturnable.; int8 & sent3 -> int9: the tailor-made is a Minoan.; int9 & sent8 -> hypothesis;
the sidebar is not carnal but it does dominate Martin.
sent2 -> int10: the sidebar is non-carnal and dominates Martin if it is not a Tchaikovsky.; sent16 -> int11: the sidebar is not a Tchaikovsky if that it is a lipase and it is not a devotion does not hold.;
$hypothesis$ = the fact that the polyfoam is not a kind of a Converso but it beats Frobisher does not hold. ; $context$ = sent1: if something is informational it is a devotion. sent2: something is not carnal but it does dominate Martin if it is not a kind of a Tchaikovsky. sent3: the tailor-made is Minoan if that the cantle is not a prosimian and it is not nonreturnable is not incorrect. sent4: the earmuff is a kind of a prosimian but it is not a kind of a lipase if the journalism is not nonreturnable. sent5: the journalism is informational if there is something such that that it is cenogenetic and it is a T-network is wrong. sent6: if that the earmuff does not humanize enucleation and does not symbolize Schmidt is not wrong the journalism is a lipase. sent7: the earmuff is a kind of a Tchaikovsky. sent8: the polyfoam is not a Converso but it does beat Frobisher if the tailor-made is Minoan. sent9: if the fact that the journalism does not beat Frobisher and is nonreturnable does not hold then it is not nonreturnable. sent10: there is something such that the fact that it is cenogenetic thing that is a kind of a T-network does not hold. sent11: the earmuff does not humanize enucleation and does not symbolize Schmidt if it is a Tchaikovsky. sent12: if the journalism is a lipase and it is a devotion the lawman is not a prosimian. sent13: the fact that the journalism does not beat Frobisher and is nonreturnable does not hold if it is a Minoan. sent14: that something is not a kind of a Converso but it beats Frobisher is incorrect if it is a kind of a Tchaikovsky. sent15: if the lawman is not a prosimian then the cantle is not a prosimian and it is not nonreturnable. sent16: if that something is a lipase that is not a devotion is false then it is not a Tchaikovsky. ; $proof$ = 
sent11 & sent7 -> int1: the earmuff does not humanize enucleation and does not symbolize Schmidt.; int1 & sent6 -> int2: the journalism is a lipase.; sent1 -> int3: the journalism is a kind of a devotion if it is informational.; sent10 & sent5 -> int4: the journalism is informational.; int3 & int4 -> int5: the journalism is a devotion.; int2 & int5 -> int6: the journalism is a lipase and a devotion.; int6 & sent12 -> int7: the lawman is not a prosimian.; int7 & sent15 -> int8: the cantle is not a prosimian and not nonreturnable.; int8 & sent3 -> int9: the tailor-made is a Minoan.; int9 & sent8 -> hypothesis; __DISPROVED__