the roughleg is a warbler.
sent1: the roughleg does not stuff disinclination and is not a warbler if there exists something such that that it is not unrestrictive hold. sent2: the metalwork does not stuff disinclination if the fact that the roughleg is unrestrictive but it is not a warbler is not false. sent3: that the roughleg does not stuff disinclination hold if something is not unrestrictive. sent4: the roughleg does not stuff disinclination. sent5: that the swinger is not unrestrictive hold. sent6: if the fact that the fact that the proctologist does not stuff disinclination and it is non-accommodative is not incorrect does not hold the roughleg does not stuff disinclination.
sent5 -> int1: something is restrictive.; int1 & sent1 -> int2: the roughleg does not stuff disinclination and it is not a warbler.; int2 -> hypothesis;
the metalwork does not stuff disinclination.
$hypothesis$ = the roughleg is a warbler. ; $context$ = sent1: the roughleg does not stuff disinclination and is not a warbler if there exists something such that that it is not unrestrictive hold. sent2: the metalwork does not stuff disinclination if the fact that the roughleg is unrestrictive but it is not a warbler is not false. sent3: that the roughleg does not stuff disinclination hold if something is not unrestrictive. sent4: the roughleg does not stuff disinclination. sent5: that the swinger is not unrestrictive hold. sent6: if the fact that the fact that the proctologist does not stuff disinclination and it is non-accommodative is not incorrect does not hold the roughleg does not stuff disinclination. ; $proof$ = 
sent5 -> int1: something is restrictive.; int1 & sent1 -> int2: the roughleg does not stuff disinclination and it is not a warbler.; int2 -> hypothesis; __DISPROVED__