that the outthrust is a kind of useless thing that is verbal is not true.
sent1: that there exists something such that it is not a scourer is true. sent2: the fact that the expression is an agglomerate and it is a kind of a quiff is false. sent3: the outthrust is foreleg. sent4: if the outthrust is foreleg but it does not defray pinon then it is useless. sent5: the outthrust is foreleg and does not defray pinon. sent6: the outthrust is verbal if there is something such that it is not a scourer. sent7: that something is not useful and is verbal is not correct if it is not a scourer. sent8: if something is not foreleg the outthrust is useless. sent9: if the fact that the expression is an agglomerate and is a kind of a quiff does not hold it is not a quiff. sent10: that something is not a quiff but it agglomerates if it is not a fart hold. sent11: there is something such that it is a kind of a scourer. sent12: something completes and it is verbal if it is not a kind of a quiff. sent13: the pinon is not a fart but it is bare if that it is not a petrel is true.
sent4 & sent5 -> int1: the outthrust is useless.; sent1 & sent6 -> int2: the outthrust is verbal.; int1 & int2 -> hypothesis;
the expression completes and it is foreleg.
sent12 -> int3: if the expression is not a kind of a quiff it is completed and is verbal.; sent9 & sent2 -> int4: the expression is not a quiff.; int3 & int4 -> int5: the expression completes and is verbal.; int5 -> int6: the expression completes.;
$hypothesis$ = that the outthrust is a kind of useless thing that is verbal is not true. ; $context$ = sent1: that there exists something such that it is not a scourer is true. sent2: the fact that the expression is an agglomerate and it is a kind of a quiff is false. sent3: the outthrust is foreleg. sent4: if the outthrust is foreleg but it does not defray pinon then it is useless. sent5: the outthrust is foreleg and does not defray pinon. sent6: the outthrust is verbal if there is something such that it is not a scourer. sent7: that something is not useful and is verbal is not correct if it is not a scourer. sent8: if something is not foreleg the outthrust is useless. sent9: if the fact that the expression is an agglomerate and is a kind of a quiff does not hold it is not a quiff. sent10: that something is not a quiff but it agglomerates if it is not a fart hold. sent11: there is something such that it is a kind of a scourer. sent12: something completes and it is verbal if it is not a kind of a quiff. sent13: the pinon is not a fart but it is bare if that it is not a petrel is true. ; $proof$ = 
sent4 & sent5 -> int1: the outthrust is useless.; sent1 & sent6 -> int2: the outthrust is verbal.; int1 & int2 -> hypothesis; __DISPROVED__