the hearts does not fudge couverture.
sent1: if the clericalist is a Shiloh then the nogging does buzz. sent2: if the hearts is a buzz then the clericalist fudges couverture. sent3: the clericalist is impotent. sent4: the clericalist is osteal and does not fudge couverture. sent5: if the nogging fudges couverture but it is not osteal the clericalist is a Shiloh. sent6: the clericalist is osteal but it is not a sorter if it is a buzz. sent7: the fact that the piece is a sorter is not incorrect. sent8: the hearts does fudge couverture if the nogging is a kind of a Shiloh. sent9: the clericalist is osteal. sent10: the fact that the nogging is a sorter but it is not osteal hold if the fact that it is a kind of a Shiloh hold. sent11: the clericalist is osteal if that it is a kind of a buzz hold. sent12: if the clericalist is osteal but it is not a sorter the nogging is a Shiloh. sent13: the hearts is a sorter that does not fudge couverture if it is osteal. sent14: the clericalist is a kind of a poisonberry. sent15: the hearts is a kind of a dialectician that is not living. sent16: the clericalist is a nullification. sent17: the clericalist buzzes. sent18: the nogging is a sorter that does not buzz if it is a Shiloh. sent19: something is a buzz that does not fudge couverture if it is not a kind of a Shiloh. sent20: the hearts is a sorter if the clericalist does buzz but it does not fudge couverture.
sent6 & sent17 -> int1: the clericalist is osteal but it is not a sorter.; int1 & sent12 -> int2: the nogging is a Shiloh.; int2 & sent8 -> hypothesis;
the hearts does not fudge couverture.
sent19 -> int3: the hearts is a buzz but it does not fudge couverture if it is not a Shiloh.;
$hypothesis$ = the hearts does not fudge couverture. ; $context$ = sent1: if the clericalist is a Shiloh then the nogging does buzz. sent2: if the hearts is a buzz then the clericalist fudges couverture. sent3: the clericalist is impotent. sent4: the clericalist is osteal and does not fudge couverture. sent5: if the nogging fudges couverture but it is not osteal the clericalist is a Shiloh. sent6: the clericalist is osteal but it is not a sorter if it is a buzz. sent7: the fact that the piece is a sorter is not incorrect. sent8: the hearts does fudge couverture if the nogging is a kind of a Shiloh. sent9: the clericalist is osteal. sent10: the fact that the nogging is a sorter but it is not osteal hold if the fact that it is a kind of a Shiloh hold. sent11: the clericalist is osteal if that it is a kind of a buzz hold. sent12: if the clericalist is osteal but it is not a sorter the nogging is a Shiloh. sent13: the hearts is a sorter that does not fudge couverture if it is osteal. sent14: the clericalist is a kind of a poisonberry. sent15: the hearts is a kind of a dialectician that is not living. sent16: the clericalist is a nullification. sent17: the clericalist buzzes. sent18: the nogging is a sorter that does not buzz if it is a Shiloh. sent19: something is a buzz that does not fudge couverture if it is not a kind of a Shiloh. sent20: the hearts is a sorter if the clericalist does buzz but it does not fudge couverture. ; $proof$ = 
sent6 & sent17 -> int1: the clericalist is osteal but it is not a sorter.; int1 & sent12 -> int2: the nogging is a Shiloh.; int2 & sent8 -> hypothesis; __DISPROVED__