the switchboard does not hand pyromancer.
sent1: if the conveyancer overstrains ectomorph then the tatouay overstrains ectomorph. sent2: that the amniote is a kind of oleophilic thing that overstrains ectomorph is not true if the tatouay does not overstrains ectomorph. sent3: if the switchboard does hand pyromancer it is oleophilic. sent4: if the switchboard does overstrain archangel then either the amniote is not oleophilic or it does overstrain archangel or both. sent5: if the thermotropism overstrains archangel it is a stoutness. sent6: if the amniote is not a stoutness that the thermotropism is a kind of oncological thing that is a stoutness is not right. sent7: if something is not oleophilic and/or it overstrains archangel it is not a stoutness. sent8: that something is not a kind of a stoutness and it does not hand pyromancer is not correct if it does not overstrain archangel. sent9: the conveyancer overstrains ectomorph. sent10: The ectomorph overstrains conveyancer. sent11: something does overstrain archangel if it hands pyromancer. sent12: the thermotropism is a bribe.
sent11 -> int1: the switchboard overstrains archangel if that it hands pyromancer is true.; void -> assump1: Let's assume that the switchboard hands pyromancer.; int1 & assump1 -> int2: the switchboard overstrains archangel.; int2 & sent4 -> int3: the amniote either is not oleophilic or does overstrain archangel or both.; sent7 -> int4: if either the amniote is not oleophilic or it overstrains archangel or both then it is not a stoutness.; int3 & int4 -> int5: the amniote is not a stoutness.; int5 & sent6 -> int6: the fact that the thermotropism is oncological and is a stoutness is not true.; sent1 & sent9 -> int7: the tatouay does overstrain ectomorph.;
the switchboard does hand pyromancer.
sent8 -> int8: if the amniote does not overstrain archangel then the fact that it is not a kind of a stoutness and it does not hand pyromancer is incorrect.;
$hypothesis$ = the switchboard does not hand pyromancer. ; $context$ = sent1: if the conveyancer overstrains ectomorph then the tatouay overstrains ectomorph. sent2: that the amniote is a kind of oleophilic thing that overstrains ectomorph is not true if the tatouay does not overstrains ectomorph. sent3: if the switchboard does hand pyromancer it is oleophilic. sent4: if the switchboard does overstrain archangel then either the amniote is not oleophilic or it does overstrain archangel or both. sent5: if the thermotropism overstrains archangel it is a stoutness. sent6: if the amniote is not a stoutness that the thermotropism is a kind of oncological thing that is a stoutness is not right. sent7: if something is not oleophilic and/or it overstrains archangel it is not a stoutness. sent8: that something is not a kind of a stoutness and it does not hand pyromancer is not correct if it does not overstrain archangel. sent9: the conveyancer overstrains ectomorph. sent10: The ectomorph overstrains conveyancer. sent11: something does overstrain archangel if it hands pyromancer. sent12: the thermotropism is a bribe. ; $proof$ = 
sent11 -> int1: the switchboard overstrains archangel if that it hands pyromancer is true.; void -> assump1: Let's assume that the switchboard hands pyromancer.; int1 & assump1 -> int2: the switchboard overstrains archangel.; int2 & sent4 -> int3: the amniote either is not oleophilic or does overstrain archangel or both.; sent7 -> int4: if either the amniote is not oleophilic or it overstrains archangel or both then it is not a stoutness.; int3 & int4 -> int5: the amniote is not a stoutness.; int5 & sent6 -> int6: the fact that the thermotropism is oncological and is a stoutness is not true.; sent1 & sent9 -> int7: the tatouay does overstrain ectomorph.; __UNKNOWN__