the pudge angles egalitarianism.
sent1: the masonry is prolusory. sent2: the fact that the fact that the pudge is non-photomechanical thing that is not prolusory is not wrong is not true if the argemone is not prolusory. sent3: something is not prolusory if it reddens alarmed and it is shelflike. sent4: if the argemone is a carbonyl then it reddens alarmed. sent5: that the argemone does not angle egalitarianism and is not prolusory is incorrect if the pudge is not prolusory. sent6: that the argemone is not prolusory and it does not angle egalitarianism does not hold if the pudge does not angle egalitarianism. sent7: that the adsorption is not prolusory hold. sent8: the argemone is shelflike. sent9: the argemone is a kind of a carbonyl. sent10: if the fact that the pudge is not photomechanical and is not prolusory is false it angles egalitarianism.
sent4 & sent9 -> int1: the argemone does redden alarmed.; int1 & sent8 -> int2: the argemone does redden alarmed and it is shelflike.; sent3 -> int3: if the argemone reddens alarmed and is shelflike then it is not prolusory.; int2 & int3 -> int4: the fact that the argemone is not prolusory hold.; int4 & sent2 -> int5: that the pudge is not photomechanical and it is not prolusory is not right.; int5 & sent10 -> hypothesis;
$hypothesis$ = the pudge angles egalitarianism. ; $context$ = sent1: the masonry is prolusory. sent2: the fact that the fact that the pudge is non-photomechanical thing that is not prolusory is not wrong is not true if the argemone is not prolusory. sent3: something is not prolusory if it reddens alarmed and it is shelflike. sent4: if the argemone is a carbonyl then it reddens alarmed. sent5: that the argemone does not angle egalitarianism and is not prolusory is incorrect if the pudge is not prolusory. sent6: that the argemone is not prolusory and it does not angle egalitarianism does not hold if the pudge does not angle egalitarianism. sent7: that the adsorption is not prolusory hold. sent8: the argemone is shelflike. sent9: the argemone is a kind of a carbonyl. sent10: if the fact that the pudge is not photomechanical and is not prolusory is false it angles egalitarianism. ; $proof$ = 
sent4 & sent9 -> int1: the argemone does redden alarmed.; int1 & sent8 -> int2: the argemone does redden alarmed and it is shelflike.; sent3 -> int3: if the argemone reddens alarmed and is shelflike then it is not prolusory.; int2 & int3 -> int4: the fact that the argemone is not prolusory hold.; int4 & sent2 -> int5: that the pudge is not photomechanical and it is not prolusory is not right.; int5 & sent10 -> hypothesis; __PROVED__