the phoebe does not unpick alarmed.
sent1: that the pahoehoe does not irritate and is not a smoke is wrong. sent2: if that the burglar is not a deceleration and it is not a kind of a contadino is wrong then it is a kind of a deceleration. sent3: if that the pahoehoe does not irritate and it is not a smoke is false then that it does irritate is not wrong. sent4: the pahoehoe does not engulf. sent5: the pahoehoe is not a zebu. sent6: the pahoehoe is stimulative if it is a kind of a Montagu. sent7: something is both a Montagu and a deceleration if it does not engulf. sent8: the phoebe does not unpick alarmed if the pahoehoe is stimulative and it irritates.
sent7 -> int1: the pahoehoe is a Montagu and is a deceleration if it does not engulf.; int1 & sent4 -> int2: the pahoehoe is a Montagu that is a deceleration.; int2 -> int3: the pahoehoe is a kind of a Montagu.; int3 & sent6 -> int4: the pahoehoe is stimulative.; sent3 & sent1 -> int5: the pahoehoe does irritate.; int4 & int5 -> int6: the pahoehoe is stimulative and it irritates.; int6 & sent8 -> hypothesis;
$hypothesis$ = the phoebe does not unpick alarmed. ; $context$ = sent1: that the pahoehoe does not irritate and is not a smoke is wrong. sent2: if that the burglar is not a deceleration and it is not a kind of a contadino is wrong then it is a kind of a deceleration. sent3: if that the pahoehoe does not irritate and it is not a smoke is false then that it does irritate is not wrong. sent4: the pahoehoe does not engulf. sent5: the pahoehoe is not a zebu. sent6: the pahoehoe is stimulative if it is a kind of a Montagu. sent7: something is both a Montagu and a deceleration if it does not engulf. sent8: the phoebe does not unpick alarmed if the pahoehoe is stimulative and it irritates. ; $proof$ = 
sent7 -> int1: the pahoehoe is a Montagu and is a deceleration if it does not engulf.; int1 & sent4 -> int2: the pahoehoe is a Montagu that is a deceleration.; int2 -> int3: the pahoehoe is a kind of a Montagu.; int3 & sent6 -> int4: the pahoehoe is stimulative.; sent3 & sent1 -> int5: the pahoehoe does irritate.; int4 & int5 -> int6: the pahoehoe is stimulative and it irritates.; int6 & sent8 -> hypothesis; __PROVED__