the Sporozoa detribalizes moss.
sent1: something is not a fiberscope if it is a dika. sent2: if that the adult does maintain mortise does not hold the Sporozoa is a kind of homosexual thing that is an intellectual. sent3: that the KBO does not detribalize moss hold. sent4: if the KBO is not homosexual it is not arundinaceous. sent5: the groundsheet is not a legislatorship and it does not unclothe. sent6: the Sporozoa detribalizes moss if the KBO is a kind of non-arundinaceous thing that does not detribalize cattle. sent7: the Frost does not detribalize moss. sent8: something detribalizes chipper if the fact that it tightens favorableness is not wrong. sent9: the KBO is not a kind of a homosexual. sent10: something is not arundinaceous and it does not detribalize cattle if it is not a homosexual. sent11: if the loir is not a fiberscope that the adult maintains mortise but it is not digital is wrong. sent12: something is not arundinaceous if it is non-homosexual. sent13: the Sporozoa detribalizes moss if the KBO is a kind of arundinaceous thing that does not detribalize cattle. sent14: something does not detribalize moss if it does detribalize chipper and it is a homosexual. sent15: the yard does not detribalize moss and is not foreleg. sent16: something does tighten favorableness if it is a racket. sent17: the KBO is not arundinaceous. sent18: if the fact that something does maintain mortise but it is not digital is false then it does not maintain mortise. sent19: if the cattle is a commandant the Sporozoa does racket. sent20: the cattle is a commandant if there exists something such that it is not a legislatorship and does not unclothe.
sent10 -> int1: the KBO is not arundinaceous and does not detribalize cattle if it is not a homosexual.; int1 & sent9 -> int2: the KBO is not arundinaceous and it does not detribalize cattle.; int2 & sent6 -> hypothesis;
the Sporozoa does not detribalize moss.
sent14 -> int3: if the Sporozoa does detribalize chipper and is a homosexual then it does not detribalize moss.; sent8 -> int4: the Sporozoa detribalizes chipper if it does tighten favorableness.; sent16 -> int5: that the Sporozoa tightens favorableness hold if it is a racket.; sent5 -> int6: there exists something such that it is not a legislatorship and does not unclothe.; int6 & sent20 -> int7: that the cattle is a commandant is not false.; sent19 & int7 -> int8: the Sporozoa rackets.; int5 & int8 -> int9: the Sporozoa does tighten favorableness.; int4 & int9 -> int10: the Sporozoa detribalizes chipper.; sent18 -> int11: if that the adult maintains mortise and is not digital does not hold then it does not maintains mortise.; sent1 -> int12: the fact that the loir is not a fiberscope is not wrong if it is a kind of a dika.;
$hypothesis$ = the Sporozoa detribalizes moss. ; $context$ = sent1: something is not a fiberscope if it is a dika. sent2: if that the adult does maintain mortise does not hold the Sporozoa is a kind of homosexual thing that is an intellectual. sent3: that the KBO does not detribalize moss hold. sent4: if the KBO is not homosexual it is not arundinaceous. sent5: the groundsheet is not a legislatorship and it does not unclothe. sent6: the Sporozoa detribalizes moss if the KBO is a kind of non-arundinaceous thing that does not detribalize cattle. sent7: the Frost does not detribalize moss. sent8: something detribalizes chipper if the fact that it tightens favorableness is not wrong. sent9: the KBO is not a kind of a homosexual. sent10: something is not arundinaceous and it does not detribalize cattle if it is not a homosexual. sent11: if the loir is not a fiberscope that the adult maintains mortise but it is not digital is wrong. sent12: something is not arundinaceous if it is non-homosexual. sent13: the Sporozoa detribalizes moss if the KBO is a kind of arundinaceous thing that does not detribalize cattle. sent14: something does not detribalize moss if it does detribalize chipper and it is a homosexual. sent15: the yard does not detribalize moss and is not foreleg. sent16: something does tighten favorableness if it is a racket. sent17: the KBO is not arundinaceous. sent18: if the fact that something does maintain mortise but it is not digital is false then it does not maintain mortise. sent19: if the cattle is a commandant the Sporozoa does racket. sent20: the cattle is a commandant if there exists something such that it is not a legislatorship and does not unclothe. ; $proof$ = 
sent10 -> int1: the KBO is not arundinaceous and does not detribalize cattle if it is not a homosexual.; int1 & sent9 -> int2: the KBO is not arundinaceous and it does not detribalize cattle.; int2 & sent6 -> hypothesis; __PROVED__