that the cougar does not crook prostration is not wrong.
sent1: something does crook prostration if it is penumbral. sent2: the cougar is carbonaceous if the headcheese is an absolutist. sent3: something is carbonaceous thing that does not crook prostration if it is an absolutist. sent4: the megasporophyll is a lunette. sent5: the cougar is penumbral if the Indonesian is a lunette. sent6: the headcheese is carbonaceous. sent7: if something is penumbral that it is a kind of a lunette that is not an absolutist does not hold. sent8: the fact that the Indonesian is a kind of an absolutist is correct if the headcheese is carbonaceous. sent9: if something is an absolutist it is a lunette.
sent8 & sent6 -> int1: the Indonesian is a kind of an absolutist.; sent9 -> int2: the Indonesian is a lunette if the fact that it is an absolutist is right.; int1 & int2 -> int3: the Indonesian is a lunette.; int3 & sent5 -> int4: the cougar is penumbral.; sent1 -> int5: if the cougar is penumbral then it does crook prostration.; int4 & int5 -> hypothesis;
the cougar does not crook prostration.
sent3 -> int6: the fact that the cougar is carbonaceous and does not crook prostration if the cougar is not non-absolutist is right.; sent7 -> int7: that the headcheese is a kind of a lunette that is not an absolutist is not true if it is penumbral.;
$hypothesis$ = that the cougar does not crook prostration is not wrong. ; $context$ = sent1: something does crook prostration if it is penumbral. sent2: the cougar is carbonaceous if the headcheese is an absolutist. sent3: something is carbonaceous thing that does not crook prostration if it is an absolutist. sent4: the megasporophyll is a lunette. sent5: the cougar is penumbral if the Indonesian is a lunette. sent6: the headcheese is carbonaceous. sent7: if something is penumbral that it is a kind of a lunette that is not an absolutist does not hold. sent8: the fact that the Indonesian is a kind of an absolutist is correct if the headcheese is carbonaceous. sent9: if something is an absolutist it is a lunette. ; $proof$ = 
sent8 & sent6 -> int1: the Indonesian is a kind of an absolutist.; sent9 -> int2: the Indonesian is a lunette if the fact that it is an absolutist is right.; int1 & int2 -> int3: the Indonesian is a lunette.; int3 & sent5 -> int4: the cougar is penumbral.; sent1 -> int5: if the cougar is penumbral then it does crook prostration.; int4 & int5 -> hypothesis; __DISPROVED__