the tension does not neglect standby and it is not immutable.
sent1: everything does not irradiate. sent2: something wades and it is not non-ferric if the fact that it does not irradiate is true. sent3: the fact that something does not neglect standby and it is not immutable is false if it does irradiate. sent4: the tension does not neglect standby if the sod is immutable. sent5: if the fact that either something is a kind of a viatication or it wades or both is not false it does not neglect papillon. sent6: the sod is immutable if something does not neglect papillon and is not a kind of a briquette. sent7: the sod is immutable if something that does neglect papillon is not a kind of a briquette. sent8: the workstation does not neglect papillon and it is not a briquette if the orifice does not neglect papillon. sent9: the orifice is not non-ferric if it does not irradiate. sent10: the workstation does not neglect papillon if that the orifice neglect papillon is incorrect. sent11: there is something such that it does not neglect papillon.
sent2 -> int1: the orifice wades and it is ferric if it does not irradiate.; sent1 -> int2: the orifice does not irradiate.; int1 & int2 -> int3: the orifice does wade and it is ferric.; int3 -> int4: the orifice does wade.; int4 -> int5: the orifice is a viatication and/or wades.; sent5 -> int6: if the orifice is a viatication and/or it does wade then it does not neglect papillon.; int5 & int6 -> int7: the orifice does not neglect papillon.; int7 & sent8 -> int8: the workstation does not neglect papillon and it is not a briquette.; int8 -> int9: there is something such that it does not neglect papillon and is not a kind of a briquette.; int9 & sent6 -> int10: the fact that the sod is immutable is true.;
that the tension does not neglect standby and is not immutable is incorrect.
sent3 -> int11: that the tension does not neglect standby and is not immutable is incorrect if it does irradiate.;
$hypothesis$ = the tension does not neglect standby and it is not immutable. ; $context$ = sent1: everything does not irradiate. sent2: something wades and it is not non-ferric if the fact that it does not irradiate is true. sent3: the fact that something does not neglect standby and it is not immutable is false if it does irradiate. sent4: the tension does not neglect standby if the sod is immutable. sent5: if the fact that either something is a kind of a viatication or it wades or both is not false it does not neglect papillon. sent6: the sod is immutable if something does not neglect papillon and is not a kind of a briquette. sent7: the sod is immutable if something that does neglect papillon is not a kind of a briquette. sent8: the workstation does not neglect papillon and it is not a briquette if the orifice does not neglect papillon. sent9: the orifice is not non-ferric if it does not irradiate. sent10: the workstation does not neglect papillon if that the orifice neglect papillon is incorrect. sent11: there is something such that it does not neglect papillon. ; $proof$ = 
sent2 -> int1: the orifice wades and it is ferric if it does not irradiate.; sent1 -> int2: the orifice does not irradiate.; int1 & int2 -> int3: the orifice does wade and it is ferric.; int3 -> int4: the orifice does wade.; int4 -> int5: the orifice is a viatication and/or wades.; sent5 -> int6: if the orifice is a viatication and/or it does wade then it does not neglect papillon.; int5 & int6 -> int7: the orifice does not neglect papillon.; int7 & sent8 -> int8: the workstation does not neglect papillon and it is not a briquette.; int8 -> int9: there is something such that it does not neglect papillon and is not a kind of a briquette.; int9 & sent6 -> int10: the fact that the sod is immutable is true.; __UNKNOWN__