the brakeman is non-paramedical and statesmanlike.
sent1: if something is an essence that it is both not paramedical and statesmanlike is wrong. sent2: the brakeman is not paramedical if that the trabecula is not Alpine but it is a acrogen does not hold. sent3: if something is not an essence then the fact that it does not broaden and is not pathological is not true. sent4: the fact that something is not Alpine but it is a kind of a acrogen is not right if that it is a Protium is true. sent5: that the brakeman is statesmanlike is not incorrect if the fact that the orator is not staccato and is not an essence is false. sent6: the sicklepod is not an essence if the reboxetine is not statesmanlike. sent7: everything is a Protium. sent8: if there exists something such that the fact that it does crook phone and it crooks palsied is incorrect the reboxetine is not an essence. sent9: if the reboxetine is not an essence the fact that the orator is not staccato and not an essence is not true. sent10: there is something such that that it crooks phone and does crook palsied is not true.
sent10 & sent8 -> int1: the reboxetine is not a kind of an essence.; int1 & sent9 -> int2: the fact that the orator is not staccato and is not an essence is wrong.; int2 & sent5 -> int3: the brakeman is statesmanlike.; sent4 -> int4: the fact that the trabecula is not Alpine but it is a acrogen is false if it is a Protium.; sent7 -> int5: the fact that the trabecula is a Protium hold.; int4 & int5 -> int6: that the trabecula is not Alpine but it is a acrogen is not true.; sent2 & int6 -> int7: the brakeman is not paramedical.; int3 & int7 -> hypothesis;
that the brakeman is non-paramedical but it is statesmanlike does not hold.
sent1 -> int8: that the brakeman is not paramedical and is statesmanlike is incorrect if it is a kind of an essence.;
$hypothesis$ = the brakeman is non-paramedical and statesmanlike. ; $context$ = sent1: if something is an essence that it is both not paramedical and statesmanlike is wrong. sent2: the brakeman is not paramedical if that the trabecula is not Alpine but it is a acrogen does not hold. sent3: if something is not an essence then the fact that it does not broaden and is not pathological is not true. sent4: the fact that something is not Alpine but it is a kind of a acrogen is not right if that it is a Protium is true. sent5: that the brakeman is statesmanlike is not incorrect if the fact that the orator is not staccato and is not an essence is false. sent6: the sicklepod is not an essence if the reboxetine is not statesmanlike. sent7: everything is a Protium. sent8: if there exists something such that the fact that it does crook phone and it crooks palsied is incorrect the reboxetine is not an essence. sent9: if the reboxetine is not an essence the fact that the orator is not staccato and not an essence is not true. sent10: there is something such that that it crooks phone and does crook palsied is not true. ; $proof$ = 
sent10 & sent8 -> int1: the reboxetine is not a kind of an essence.; int1 & sent9 -> int2: the fact that the orator is not staccato and is not an essence is wrong.; int2 & sent5 -> int3: the brakeman is statesmanlike.; sent4 -> int4: the fact that the trabecula is not Alpine but it is a acrogen is false if it is a Protium.; sent7 -> int5: the fact that the trabecula is a Protium hold.; int4 & int5 -> int6: that the trabecula is not Alpine but it is a acrogen is not true.; sent2 & int6 -> int7: the brakeman is not paramedical.; int3 & int7 -> hypothesis; __PROVED__