the backsaw is non-actinic thing that does not weld Wyeth.
sent1: the fact that the backsaw is not congruent and it is not an afternoon does not hold. sent2: if the backsaw is congruent that it is not a scrim is not false. sent3: something does not weld Wyeth if it is not a scrim. sent4: the backsaw does not weld Wyeth if it is not a scrim. sent5: the fact that the backsaw does not weld Wyeth is not wrong. sent6: something is a kind of non-actinic thing that does not weld Wyeth if it is not a scrim. sent7: the pleochroism is both not a scrim and not an affectation. sent8: if something is a scrim that it is not actinic and does not weld Wyeth is not true. sent9: if something is not a gastroscope and is not eutrophic it is a scrim. sent10: the fact that the backsaw is congruent but not an afternoon is wrong. sent11: if something is congruent it is not a kind of a scrim.
sent6 -> int1: if the backsaw is not a scrim it is not actinic and it does not weld Wyeth.;
that the backsaw is not actinic and it does not weld Wyeth does not hold.
sent8 -> int2: if the backsaw is a kind of a scrim then that it is a kind of non-actinic thing that does not weld Wyeth does not hold.; sent9 -> int3: if the backsaw is not a gastroscope and it is not eutrophic then it is a kind of a scrim.;
$hypothesis$ = the backsaw is non-actinic thing that does not weld Wyeth. ; $context$ = sent1: the fact that the backsaw is not congruent and it is not an afternoon does not hold. sent2: if the backsaw is congruent that it is not a scrim is not false. sent3: something does not weld Wyeth if it is not a scrim. sent4: the backsaw does not weld Wyeth if it is not a scrim. sent5: the fact that the backsaw does not weld Wyeth is not wrong. sent6: something is a kind of non-actinic thing that does not weld Wyeth if it is not a scrim. sent7: the pleochroism is both not a scrim and not an affectation. sent8: if something is a scrim that it is not actinic and does not weld Wyeth is not true. sent9: if something is not a gastroscope and is not eutrophic it is a scrim. sent10: the fact that the backsaw is congruent but not an afternoon is wrong. sent11: if something is congruent it is not a kind of a scrim. ; $proof$ = 
sent6 -> int1: if the backsaw is not a scrim it is not actinic and it does not weld Wyeth.; __UNKNOWN__