that the groin is a deinonychus that superscribes armilla is not right.
sent1: the vaporizer does tauten Housatonic if the armilla is a isosorbide. sent2: the groin superscribes armilla and it tautens allegorizer. sent3: the fact that something is a deinonychus and it superscribes armilla does not hold if it is not a isosorbide. sent4: something is a deinonychus if it is a Pablum. sent5: the groin is a Pablum if the vaporizer does tauten Housatonic. sent6: if that something tautens Housatonic and is illegitimate is incorrect the fact that it is not a isosorbide is not false. sent7: that the armilla is a kind of a isosorbide that is illegitimate is right.
sent7 -> int1: the armilla is a isosorbide.; int1 & sent1 -> int2: the vaporizer tautens Housatonic.; int2 & sent5 -> int3: the groin is a kind of a Pablum.; sent4 -> int4: the fact that the groin is a deinonychus is true if it is a kind of a Pablum.; int3 & int4 -> int5: the groin is a kind of a deinonychus.; sent2 -> int6: the groin does superscribe armilla.; int5 & int6 -> hypothesis;
the fact that the groin is a deinonychus and superscribes armilla is incorrect.
sent3 -> int7: if the armilla is not a isosorbide that it is a deinonychus and it does superscribe armilla is not true.; sent6 -> int8: if the fact that the armilla tautens Housatonic and it is illegitimate is wrong the fact that it is not a isosorbide is not false.;
$hypothesis$ = that the groin is a deinonychus that superscribes armilla is not right. ; $context$ = sent1: the vaporizer does tauten Housatonic if the armilla is a isosorbide. sent2: the groin superscribes armilla and it tautens allegorizer. sent3: the fact that something is a deinonychus and it superscribes armilla does not hold if it is not a isosorbide. sent4: something is a deinonychus if it is a Pablum. sent5: the groin is a Pablum if the vaporizer does tauten Housatonic. sent6: if that something tautens Housatonic and is illegitimate is incorrect the fact that it is not a isosorbide is not false. sent7: that the armilla is a kind of a isosorbide that is illegitimate is right. ; $proof$ = 
sent7 -> int1: the armilla is a isosorbide.; int1 & sent1 -> int2: the vaporizer tautens Housatonic.; int2 & sent5 -> int3: the groin is a kind of a Pablum.; sent4 -> int4: the fact that the groin is a deinonychus is true if it is a kind of a Pablum.; int3 & int4 -> int5: the groin is a kind of a deinonychus.; sent2 -> int6: the groin does superscribe armilla.; int5 & int6 -> hypothesis; __DISPROVED__