that the jersey is a Somalian is not false.
sent1: the stovepipe automobiles if there exists something such that the fact that it is a Stanley and is not sportive is not true. sent2: there is something such that it is not a Castilian. sent3: that the jersey is not sportive is not incorrect. sent4: if the jersey is not sportive that it does not interpose pounder and/or is not womanly is incorrect. sent5: if the fact that the stovepipe does automobile hold the fact that the Taurus is not a Somalian and it is not electromotive does not hold. sent6: that something does automobile but it is not a Somalian is wrong if it is not a kind of a Stanley. sent7: something automobiles if the fact that it does not automobiles and it does not interpose nonaccomplishment does not hold. sent8: if something is a Stanley that automobiles then that it is not a Somalian hold. sent9: if the fact that something does not interpose pounder and/or it is not womanly is not true then it is a Stanley. sent10: that the frogbit is a kind of a Stanley but it is not sportive does not hold if there exists something such that it is a kind of a Castilian. sent11: the ivory is a side-glance but it does not arrive wheelwork. sent12: if that the fact that something is not bedless but it arrives Abyssinian hold is incorrect then it does not arrives Abyssinian. sent13: if there is something such that it is not a Castilian then that the jersey does not automobile and does not interpose nonaccomplishment is not right. sent14: the wheelwork is a Castilian and does interpose nonaccomplishment if the ivory does not arrive Abyssinian. sent15: if that something automobiles and is not Somalian does not hold then that it is a kind of a Somalian is not wrong. sent16: the fact that something is bedded but it does arrive Abyssinian is wrong if it is a kind of a side-glance.
sent9 -> int1: the jersey is a kind of a Stanley if that either it does not interpose pounder or it is not womanly or both does not hold.; sent4 & sent3 -> int2: that the jersey does not interpose pounder and/or it is not womanly is not correct.; int1 & int2 -> int3: the jersey is a kind of a Stanley.; sent7 -> int4: the jersey automobiles if the fact that it does not automobiles and it does not interpose nonaccomplishment is not correct.; sent2 & sent13 -> int5: the fact that the jersey does not automobile and it does not interpose nonaccomplishment is wrong.; int4 & int5 -> int6: the jersey does automobile.; int3 & int6 -> int7: that the jersey is a kind of a Stanley that does automobile is not false.; sent8 -> int8: if the jersey is a Stanley and it does automobile it is not a kind of a Somalian.; int7 & int8 -> hypothesis;
that the Taurus is non-Somalian and non-electromotive does not hold.
sent12 -> int9: the ivory does not arrive Abyssinian if that it is a kind of non-bedless thing that arrive Abyssinian does not hold.; sent16 -> int10: the fact that the ivory is a kind of non-bedless thing that arrives Abyssinian is not correct if it is a side-glance.; sent11 -> int11: the fact that the ivory is a kind of a side-glance hold.; int10 & int11 -> int12: the fact that the ivory is not bedless but it arrives Abyssinian does not hold.; int9 & int12 -> int13: the ivory does not arrive Abyssinian.; sent14 & int13 -> int14: the wheelwork is a Castilian and it does interpose nonaccomplishment.; int14 -> int15: the wheelwork is a Castilian.; int15 -> int16: there exists something such that the fact that it is a Castilian is not wrong.; int16 & sent10 -> int17: the fact that the fact that the frogbit is a Stanley and is not sportive is right is not true.; int17 -> int18: there is something such that that it is a Stanley and it is non-sportive is not true.; int18 & sent1 -> int19: the stovepipe automobiles.; sent5 & int19 -> hypothesis;
$hypothesis$ = that the jersey is a Somalian is not false. ; $context$ = sent1: the stovepipe automobiles if there exists something such that the fact that it is a Stanley and is not sportive is not true. sent2: there is something such that it is not a Castilian. sent3: that the jersey is not sportive is not incorrect. sent4: if the jersey is not sportive that it does not interpose pounder and/or is not womanly is incorrect. sent5: if the fact that the stovepipe does automobile hold the fact that the Taurus is not a Somalian and it is not electromotive does not hold. sent6: that something does automobile but it is not a Somalian is wrong if it is not a kind of a Stanley. sent7: something automobiles if the fact that it does not automobiles and it does not interpose nonaccomplishment does not hold. sent8: if something is a Stanley that automobiles then that it is not a Somalian hold. sent9: if the fact that something does not interpose pounder and/or it is not womanly is not true then it is a Stanley. sent10: that the frogbit is a kind of a Stanley but it is not sportive does not hold if there exists something such that it is a kind of a Castilian. sent11: the ivory is a side-glance but it does not arrive wheelwork. sent12: if that the fact that something is not bedless but it arrives Abyssinian hold is incorrect then it does not arrives Abyssinian. sent13: if there is something such that it is not a Castilian then that the jersey does not automobile and does not interpose nonaccomplishment is not right. sent14: the wheelwork is a Castilian and does interpose nonaccomplishment if the ivory does not arrive Abyssinian. sent15: if that something automobiles and is not Somalian does not hold then that it is a kind of a Somalian is not wrong. sent16: the fact that something is bedded but it does arrive Abyssinian is wrong if it is a kind of a side-glance. ; $proof$ = 
sent9 -> int1: the jersey is a kind of a Stanley if that either it does not interpose pounder or it is not womanly or both does not hold.; sent4 & sent3 -> int2: that the jersey does not interpose pounder and/or it is not womanly is not correct.; int1 & int2 -> int3: the jersey is a kind of a Stanley.; sent7 -> int4: the jersey automobiles if the fact that it does not automobiles and it does not interpose nonaccomplishment is not correct.; sent2 & sent13 -> int5: the fact that the jersey does not automobile and it does not interpose nonaccomplishment is wrong.; int4 & int5 -> int6: the jersey does automobile.; int3 & int6 -> int7: that the jersey is a kind of a Stanley that does automobile is not false.; sent8 -> int8: if the jersey is a Stanley and it does automobile it is not a kind of a Somalian.; int7 & int8 -> hypothesis; __DISPROVED__