the fact that the thrust is not a rut hold.
sent1: something is not a kind of a scald and it does not rut if it is an obligation. sent2: that the novelist does not rut and is an obligation is false if the sedum does not scald. sent3: something does not rut if that it does not ping and is post-communist is not correct. sent4: the fact that the sedum is not non-post-communist and is not a ping is incorrect if the stairway is Rabelaisian. sent5: the stairway does not horn loser if the fact that the fact that it is not a volume and it does horn loser hold is incorrect. sent6: that something is not a kind of a ping and is post-communist is not right if it is not a scald. sent7: if the thrust is a kind of a ping it is not a rut. sent8: that the thrust does ping and is not non-post-communist is not true if it is not a scald. sent9: that the stairway is not a kind of a volume and horns loser is false if it is not a consciousness. sent10: if something is not a scald then that it is a kind of a ping and it is post-communist is not right. sent11: if the fact that something is a ping is correct then it does not rut. sent12: if that something is post-communist but it is not a kind of a ping does not hold it does not scald. sent13: if that that the thrust is an obligation and not a ping is not false does not hold then the seasoning is an obligation. sent14: that the thrust pings and is post-communist is incorrect. sent15: the thrust is not an obligation. sent16: if something does not horn loser then it is Rabelaisian and unclothes maintenance.
sent6 -> int1: the fact that the thrust is not a ping but it is post-communist is not correct if it does not scald.; sent3 -> int2: that the thrust does not rut hold if that it is not a kind of a ping and it is post-communist is not true.;
the thrust is a rut.
sent12 -> int3: if that the sedum is post-communist but it is not a ping is not true then it does not scald.; sent16 -> int4: the stairway is Rabelaisian and it unclothes maintenance if it does not horn loser.;
$hypothesis$ = the fact that the thrust is not a rut hold. ; $context$ = sent1: something is not a kind of a scald and it does not rut if it is an obligation. sent2: that the novelist does not rut and is an obligation is false if the sedum does not scald. sent3: something does not rut if that it does not ping and is post-communist is not correct. sent4: the fact that the sedum is not non-post-communist and is not a ping is incorrect if the stairway is Rabelaisian. sent5: the stairway does not horn loser if the fact that the fact that it is not a volume and it does horn loser hold is incorrect. sent6: that something is not a kind of a ping and is post-communist is not right if it is not a scald. sent7: if the thrust is a kind of a ping it is not a rut. sent8: that the thrust does ping and is not non-post-communist is not true if it is not a scald. sent9: that the stairway is not a kind of a volume and horns loser is false if it is not a consciousness. sent10: if something is not a scald then that it is a kind of a ping and it is post-communist is not right. sent11: if the fact that something is a ping is correct then it does not rut. sent12: if that something is post-communist but it is not a kind of a ping does not hold it does not scald. sent13: if that that the thrust is an obligation and not a ping is not false does not hold then the seasoning is an obligation. sent14: that the thrust pings and is post-communist is incorrect. sent15: the thrust is not an obligation. sent16: if something does not horn loser then it is Rabelaisian and unclothes maintenance. ; $proof$ = 
sent6 -> int1: the fact that the thrust is not a ping but it is post-communist is not correct if it does not scald.; sent3 -> int2: that the thrust does not rut hold if that it is not a kind of a ping and it is post-communist is not true.; __UNKNOWN__