the bridle does salaam.
sent1: if a Cytisus does not protrude the bridle is a salaam. sent2: something is not a salaam if that it is a Pakistani and it is not a Erinaceus does not hold. sent3: everything is a Cytisus and it does not protrude. sent4: everything is a kind of a Cytisus. sent5: something is not vinaceous but it is a salaam if it is a Erinaceus.
sent3 -> int1: the doodlebug is a kind of a Cytisus and does not protrude.; int1 -> int2: there exists something such that it is a kind of a Cytisus and does not protrude.; int2 & sent1 -> hypothesis;
the bridle does not salaam.
sent2 -> int3: the fact that the bridle does not salaam if that the fact that the bridle is a Pakistani but not a Erinaceus is not incorrect is not true is right.;
$hypothesis$ = the bridle does salaam. ; $context$ = sent1: if a Cytisus does not protrude the bridle is a salaam. sent2: something is not a salaam if that it is a Pakistani and it is not a Erinaceus does not hold. sent3: everything is a Cytisus and it does not protrude. sent4: everything is a kind of a Cytisus. sent5: something is not vinaceous but it is a salaam if it is a Erinaceus. ; $proof$ = 
sent3 -> int1: the doodlebug is a kind of a Cytisus and does not protrude.; int1 -> int2: there exists something such that it is a kind of a Cytisus and does not protrude.; int2 & sent1 -> hypothesis; __PROVED__