the pater is a kind of a mariposa.
sent1: something is hemiparasitic if it destains drilled. sent2: The fact that the drilled does destain pater hold. sent3: everything sounds aggressor. sent4: if the EDS is not a teashop but it is a miscount the pater is imperialistic. sent5: something that is not non-imperialistic but hemiparasitic is not a mariposa. sent6: something is not a teashop but it is a kind of a miscount if it is not a centimo. sent7: the fact that the pater does destain drilled hold. sent8: if something does not sound aggressor it is a Semarang and/or it is a mariposa. sent9: the fact that the megalopolis is not imperialistic and is not a teashop is false. sent10: something that is not a kind of a immunoglobulin is not a malmsey but germfree. sent11: something does not sound aggressor if the fact that it is a kind of a miscount that does sound aggressor is not correct. sent12: if something does sound aggressor or is a Semarang or both then it is not a centimo. sent13: the EDS is a kind of a miscount.
sent3 -> int1: the EDS does sound aggressor.; int1 -> int2: the EDS does sound aggressor or it is a Semarang or both.; sent12 -> int3: the EDS is not a centimo if either it does sound aggressor or it is a Semarang or both.; int2 & int3 -> int4: the EDS is not a kind of a centimo.; sent6 -> int5: if the EDS is not a centimo then it is not a teashop and it miscounts.; int4 & int5 -> int6: the EDS is not a kind of a teashop but it is a miscount.; int6 & sent4 -> int7: the pater is imperialistic.; sent1 -> int8: the pater is hemiparasitic if it does destain drilled.; int8 & sent7 -> int9: the pater is hemiparasitic.; int7 & int9 -> int10: the pater is imperialistic and it is hemiparasitic.; sent5 -> int11: if the pater is both imperialistic and hemiparasitic then it is not a mariposa.; int10 & int11 -> hypothesis;
that the pater is a mariposa is not false.
sent8 -> int12: if the Colossian does not sound aggressor it is a Semarang and/or is a mariposa.; sent11 -> int13: if the fact that the Colossian is a kind of a miscount and it does sound aggressor is not right then it does not sound aggressor.; sent9 -> int14: there exists something such that the fact that it is not imperialistic and it is not a teashop is not true.;
$hypothesis$ = the pater is a kind of a mariposa. ; $context$ = sent1: something is hemiparasitic if it destains drilled. sent2: The fact that the drilled does destain pater hold. sent3: everything sounds aggressor. sent4: if the EDS is not a teashop but it is a miscount the pater is imperialistic. sent5: something that is not non-imperialistic but hemiparasitic is not a mariposa. sent6: something is not a teashop but it is a kind of a miscount if it is not a centimo. sent7: the fact that the pater does destain drilled hold. sent8: if something does not sound aggressor it is a Semarang and/or it is a mariposa. sent9: the fact that the megalopolis is not imperialistic and is not a teashop is false. sent10: something that is not a kind of a immunoglobulin is not a malmsey but germfree. sent11: something does not sound aggressor if the fact that it is a kind of a miscount that does sound aggressor is not correct. sent12: if something does sound aggressor or is a Semarang or both then it is not a centimo. sent13: the EDS is a kind of a miscount. ; $proof$ = 
sent3 -> int1: the EDS does sound aggressor.; int1 -> int2: the EDS does sound aggressor or it is a Semarang or both.; sent12 -> int3: the EDS is not a centimo if either it does sound aggressor or it is a Semarang or both.; int2 & int3 -> int4: the EDS is not a kind of a centimo.; sent6 -> int5: if the EDS is not a centimo then it is not a teashop and it miscounts.; int4 & int5 -> int6: the EDS is not a kind of a teashop but it is a miscount.; int6 & sent4 -> int7: the pater is imperialistic.; sent1 -> int8: the pater is hemiparasitic if it does destain drilled.; int8 & sent7 -> int9: the pater is hemiparasitic.; int7 & int9 -> int10: the pater is imperialistic and it is hemiparasitic.; sent5 -> int11: if the pater is both imperialistic and hemiparasitic then it is not a mariposa.; int10 & int11 -> hypothesis; __DISPROVED__