the truss is bidirectional.
sent1: there is something such that it is not a denominator. sent2: the truss is not non-bidirectional if the fact that the photometrist is not non-bidirectional but it is a kind of an inga does not hold. sent3: something is not bidirectional if it is not a kind of a puddle. sent4: something is not bidirectional if the fact that it is an inga and it puddles is incorrect. sent5: something is trophoblastic. sent6: if that the photometrist is not an inga and is not a denominator is false the truss is not viricidal. sent7: the cinchonine is not bidirectional. sent8: the truss is not a kind of a bed-ground. sent9: the fact that the truss is a kind of an inga and it is a puddle is not true if there is something such that it is not a kind of a denominator.
sent1 & sent9 -> int1: the fact that the truss is an inga and does puddle is false.; sent4 -> int2: the truss is not bidirectional if the fact that that it is an inga and puddles is not incorrect is incorrect.; int1 & int2 -> hypothesis;
there is something such that that it is not viricidal is not false.
$hypothesis$ = the truss is bidirectional. ; $context$ = sent1: there is something such that it is not a denominator. sent2: the truss is not non-bidirectional if the fact that the photometrist is not non-bidirectional but it is a kind of an inga does not hold. sent3: something is not bidirectional if it is not a kind of a puddle. sent4: something is not bidirectional if the fact that it is an inga and it puddles is incorrect. sent5: something is trophoblastic. sent6: if that the photometrist is not an inga and is not a denominator is false the truss is not viricidal. sent7: the cinchonine is not bidirectional. sent8: the truss is not a kind of a bed-ground. sent9: the fact that the truss is a kind of an inga and it is a puddle is not true if there is something such that it is not a kind of a denominator. ; $proof$ = 
sent1 & sent9 -> int1: the fact that the truss is an inga and does puddle is false.; sent4 -> int2: the truss is not bidirectional if the fact that that it is an inga and puddles is not incorrect is incorrect.; int1 & int2 -> hypothesis; __DISPROVED__