なにがしかのものはヘビー級だがしぶとくない
fact1: 「解し難くて眠り続けない」ものはある fact2: その無益性は捺印する fact3: 「電子顕微鏡写真だがしかし御国入りでない」物はある fact4: 「キャッチアップで最もらしい」ものはある fact5: 「その無益性はしぶとくない」ということは誤りでない fact6: 「生る」物はある fact7: 「ヘビー級である」物はある fact8: その一辺倒はヘビー級だけど使い辛くない fact9: 入り辛くないものはある fact10: 「「御逃げに成らない」ということは成り立つ」物はある fact11: しぶといヘビー級はある fact12: その無益性はヘビー級である fact13: 「目新しくない」ものはある fact14: あの表面下はヘビー級であるということはない fact15: 「甘い」物はある fact16: なにかはえぐい fact17: その無益性は支持するがしかしセナートであるということはない fact18: 甘くない物はしぶとくてさらにＪＩＳ規格である fact19: その無益性はキャッチアップだけど塩浴窒化でない
fact12 & fact5 -> int1: その無益性はヘビー級であるがしかししぶとくない; int1 -> hypothesis;
fact12 & fact5 -> int1: ({A}{a} & ¬{B}{a}); int1 -> hypothesis;
あの音楽再生は当て付けがましいがそれはヘビー級でない
fact20 -> int2: もしあの音楽再生が甘くないとしたらしぶといしかつＪＩＳ規格である;
$facts$ = fact1: 「解し難くて眠り続けない」ものはある fact2: その無益性は捺印する fact3: 「電子顕微鏡写真だがしかし御国入りでない」物はある fact4: 「キャッチアップで最もらしい」ものはある fact5: 「その無益性はしぶとくない」ということは誤りでない fact6: 「生る」物はある fact7: 「ヘビー級である」物はある fact8: その一辺倒はヘビー級だけど使い辛くない fact9: 入り辛くないものはある fact10: 「「御逃げに成らない」ということは成り立つ」物はある fact11: しぶといヘビー級はある fact12: その無益性はヘビー級である fact13: 「目新しくない」ものはある fact14: あの表面下はヘビー級であるということはない fact15: 「甘い」物はある fact16: なにかはえぐい fact17: その無益性は支持するがしかしセナートであるということはない fact18: 甘くない物はしぶとくてさらにＪＩＳ規格である fact19: その無益性はキャッチアップだけど塩浴窒化でない ; $hypothesis$ = なにがしかのものはヘビー級だがしぶとくない ; $proof$ = 
fact12 & fact5 -> int1: その無益性はヘビー級であるがしかししぶとくない; int1 -> hypothesis; __PROVED__
事実1: 「解し難くて眠り続けない」ものはある
事実2: その無益性は捺印する
事実3: 「電子顕微鏡写真だがしかし御国入りでない」物はある
事実4: 「キャッチアップで最もらしい」ものはある
事実5: 「その無益性はしぶとくない」ということは誤りでない
事実6: 「生る」物はある
事実7: 「ヘビー級である」物はある
事実8: その一辺倒はヘビー級だけど使い辛くない
事実9: 入り辛くないものはある
事実10: 「「御逃げに成らない」ということは成り立つ」物はある
事実11: しぶといヘビー級はある
事実12: その無益性はヘビー級である
事実13: 「目新しくない」ものはある
事実14: あの表面下はヘビー級であるということはない
事実15: 「甘い」物はある
事実16: なにかはえぐい
事実17: その無益性は支持するがしかしセナートであるということはない
事実18: 甘くない物はしぶとくてさらにＪＩＳ規格である
事実19: その無益性はキャッチアップだけど塩浴窒化でない

仮説: なにがしかのものはヘビー級だがしぶとくない
1. 事実12と事実5から、推論1: "その無益性はヘビー級であるがしかししぶとくない"が導かれる
2. 推論1から、仮説が導かれる

よって、仮説が証明されました。