the cooling is not discourteous.
sent1: The saddlebill does not belabor choo-choo. sent2: if the choo-choo is literal the rejuvenation does not belabor saddlebill and is not a kind of a technophobia. sent3: the lyceum is both not a sultriness and not literal if the tragopan is not literal. sent4: the choo-choo does not belabor saddlebill. sent5: if the lyceum is not a kind of a sultriness and it is non-literal it does not overrun. sent6: the militant is a lay-up if the lyceum does not overrun. sent7: that the cooling is not discourteous is not false if something is a kind of a lay-up that is a pub. sent8: the militant is a pub. sent9: the lyceum is not a sultriness if it is literal and it is a gammon. sent10: if something is not a gammon but a technophobia then it is not literal. sent11: the tragopan is not a gammon and is a technophobia if the choo-choo does not belabor saddlebill. sent12: the tragopan is a lay-up.
sent11 & sent4 -> int1: the tragopan is not a gammon but it is a technophobia.; sent10 -> int2: if the tragopan is not a gammon but it is a technophobia it is not literal.; int1 & int2 -> int3: the tragopan is not literal.; int3 & sent3 -> int4: the lyceum is not a kind of a sultriness and it is not literal.; int4 & sent5 -> int5: the lyceum does not overrun.; int5 & sent6 -> int6: the militant is a lay-up.; int6 & sent8 -> int7: the militant is a lay-up and is a pub.; int7 -> int8: something is a lay-up and it is a kind of a pub.; int8 & sent7 -> hypothesis;
the rejuvenation is not a technophobia.
sent12 -> int9: something is a lay-up.;
$hypothesis$ = the cooling is not discourteous. ; $context$ = sent1: The saddlebill does not belabor choo-choo. sent2: if the choo-choo is literal the rejuvenation does not belabor saddlebill and is not a kind of a technophobia. sent3: the lyceum is both not a sultriness and not literal if the tragopan is not literal. sent4: the choo-choo does not belabor saddlebill. sent5: if the lyceum is not a kind of a sultriness and it is non-literal it does not overrun. sent6: the militant is a lay-up if the lyceum does not overrun. sent7: that the cooling is not discourteous is not false if something is a kind of a lay-up that is a pub. sent8: the militant is a pub. sent9: the lyceum is not a sultriness if it is literal and it is a gammon. sent10: if something is not a gammon but a technophobia then it is not literal. sent11: the tragopan is not a gammon and is a technophobia if the choo-choo does not belabor saddlebill. sent12: the tragopan is a lay-up. ; $proof$ = 
sent11 & sent4 -> int1: the tragopan is not a gammon but it is a technophobia.; sent10 -> int2: if the tragopan is not a gammon but it is a technophobia it is not literal.; int1 & int2 -> int3: the tragopan is not literal.; int3 & sent3 -> int4: the lyceum is not a kind of a sultriness and it is not literal.; int4 & sent5 -> int5: the lyceum does not overrun.; int5 & sent6 -> int6: the militant is a lay-up.; int6 & sent8 -> int7: the militant is a lay-up and is a pub.; int7 -> int8: something is a lay-up and it is a kind of a pub.; int8 & sent7 -> hypothesis; __PROVED__