the fallout is both intimal and not thankless.
sent1: the luciferin does not ferret Irelander but it is a fibroma. sent2: that something is intimal and is not thankless does not hold if it is prolusory. sent3: if something is not intimal it is a Montevideo and it does not cloud amity. sent4: if that the intrusion does not convene but it ferrets Irelander is not correct the fact that the Hun is not a fibroma hold. sent5: if that something is prolusory but it is not inconsistent is incorrect it is not prolusory. sent6: the fallout is not prolusory. sent7: either something is not inconsistent or it is not prolusory or both if that it is not a fibroma is correct. sent8: the fallout is intimal. sent9: if the intrusion is thankless the fact that the Hun is not non-prolusory but it is not inconsistent does not hold. sent10: the councilwoman is not prandial if it is not an antique. sent11: if something is not prolusory it is not thankless.
sent11 -> int1: if the fallout is not prolusory then it is not thankless.; int1 & sent6 -> int2: the fallout is not thankless.; int2 & sent8 -> hypothesis;
the fallout is a kind of a Montevideo but it does not cloud amity.
sent3 -> int3: the fallout is a Montevideo but it does not cloud amity if it is not intimal.; sent5 -> int4: if the fact that the fact that the Hun is prolusory but it is not inconsistent does not hold is not false it is not prolusory.; sent1 -> int5: there exists something such that it does not ferret Irelander and is a fibroma.;
$hypothesis$ = the fallout is both intimal and not thankless. ; $context$ = sent1: the luciferin does not ferret Irelander but it is a fibroma. sent2: that something is intimal and is not thankless does not hold if it is prolusory. sent3: if something is not intimal it is a Montevideo and it does not cloud amity. sent4: if that the intrusion does not convene but it ferrets Irelander is not correct the fact that the Hun is not a fibroma hold. sent5: if that something is prolusory but it is not inconsistent is incorrect it is not prolusory. sent6: the fallout is not prolusory. sent7: either something is not inconsistent or it is not prolusory or both if that it is not a fibroma is correct. sent8: the fallout is intimal. sent9: if the intrusion is thankless the fact that the Hun is not non-prolusory but it is not inconsistent does not hold. sent10: the councilwoman is not prandial if it is not an antique. sent11: if something is not prolusory it is not thankless. ; $proof$ = 
sent11 -> int1: if the fallout is not prolusory then it is not thankless.; int1 & sent6 -> int2: the fallout is not thankless.; int2 & sent8 -> hypothesis; __PROVED__