the viaduct is a Trollope.
sent1: the Massachuset is nonextensile and it is a telephonist. sent2: if the potentiation is not supervisory then the fact that the daphne pleaches catarrh and is supervisory is false. sent3: the hotpot does not work nicad if the daphne is not supervisory. sent4: the daphne does not vex nude. sent5: that something is a Trollope is correct if it works nicad. sent6: that the viaduct does vex nude is not incorrect if the hotpot does not work nicad. sent7: something does work nicad if it is nonextensile. sent8: the potentiation pleaches catarrh and works nicad if the daphne does not vex nude. sent9: the Massachuset is a kind of a telephonist. sent10: the vicinity does not pleach catarrh. sent11: if the Massachuset is supervisory and it does vex miniaturist that it is not a kind of a predicate is true. sent12: the hotpot does not work nicad if the fact that the daphne pleaches catarrh and is supervisory is wrong. sent13: the viaduct does vex nude. sent14: if the Massachuset does vex miniaturist and/or is a predicate that the potentiation is not supervisory hold. sent15: if the Massachuset vexes miniaturist the potentiation is not supervisory. sent16: the viaduct does work nicad and does vex nude if the hotpot does not work nicad.
sent1 -> int1: the Massachuset is nonextensile.; sent5 -> int2: if the viaduct does work nicad it is a Trollope.;
the viaduct is not a Trollope.
sent8 & sent4 -> int3: the potentiation pleaches catarrh and it does work nicad.; int3 -> int4: the potentiation pleaches catarrh.; int4 -> int5: something does pleach catarrh.;
$hypothesis$ = the viaduct is a Trollope. ; $context$ = sent1: the Massachuset is nonextensile and it is a telephonist. sent2: if the potentiation is not supervisory then the fact that the daphne pleaches catarrh and is supervisory is false. sent3: the hotpot does not work nicad if the daphne is not supervisory. sent4: the daphne does not vex nude. sent5: that something is a Trollope is correct if it works nicad. sent6: that the viaduct does vex nude is not incorrect if the hotpot does not work nicad. sent7: something does work nicad if it is nonextensile. sent8: the potentiation pleaches catarrh and works nicad if the daphne does not vex nude. sent9: the Massachuset is a kind of a telephonist. sent10: the vicinity does not pleach catarrh. sent11: if the Massachuset is supervisory and it does vex miniaturist that it is not a kind of a predicate is true. sent12: the hotpot does not work nicad if the fact that the daphne pleaches catarrh and is supervisory is wrong. sent13: the viaduct does vex nude. sent14: if the Massachuset does vex miniaturist and/or is a predicate that the potentiation is not supervisory hold. sent15: if the Massachuset vexes miniaturist the potentiation is not supervisory. sent16: the viaduct does work nicad and does vex nude if the hotpot does not work nicad. ; $proof$ = 
sent1 -> int1: the Massachuset is nonextensile.; sent5 -> int2: if the viaduct does work nicad it is a Trollope.; __UNKNOWN__