その高利貸しは記入する
fact1: その高利貸しは返上する fact2: 何かは記入する fact3: 「「満州国政府だしおまけに目新しいということはない」ということは誤っている」ものがあればその高利貸しは六十七ページ参照である fact4: 「とある物は神々しかないけれど堅牢さである」ということは本当でないとすれば剥離し難くない fact5: 「「満州国政府であるし目新しくない」ということは事実でない」ものはある fact6: 仮にあの店頭在庫が剥離し難いならその高利貸しは返上しない一方で六十七ページ参照だ fact7: 何かは返上しないけれど六十七ページ参照ならば記入する fact8: あの古名は返上する fact9: あの計量器は活動し難くないなら「その境界性人格障害は書き連ねるということはないかもしくはシックス参照でないかもしくは両方ともである」ということは間違いである fact10: 仮に「「満州国政府でない」ということは成り立つ」物があるならその高利貸しは六十七ページ参照である fact11: もし仮に「なんらかのものは記入する」ということは成り立つとすればあの左目は満州国政府で返上する fact12: 仮に「なにがしかの物は書き連ねないかあるいはシックス参照でないかまたは両方だ」ということは誤りだとしたら堅牢さでない fact13: 仮にその高利貸しが剥離し難くないならばあの左目はあくどくて六十七ページ参照だ fact14: もしもなにかはシックス参照でないとしたら「神々しかなくて加えてそれは堅牢さである」ということは間違いだ fact15: 仮にその高利貸しは六十七ページ参照であるし返上するとしたら「それは記入しない」ということは成り立つ
fact5 & fact3 -> int1: その高利貸しは六十七ページ参照である; int1 & fact1 -> int2: その高利貸しは六十七ページ参照であるし返上する; int2 & fact15 -> hypothesis;
fact5 & fact3 -> int1: {A}{a}; int1 & fact1 -> int2: ({A}{a} & {B}{a}); int2 & fact15 -> hypothesis;
その左目は満州国政府だしあくどい
fact18 & fact20 -> int3: その左目は満州国政府であるししかも返上する; int3 -> int4: その左目は満州国政府である; fact17 -> int5: もしも「その高利貸しは神々しかないがしかしそれは堅牢さだ」ということは間違っているとしたら「それは剥離し難くない」ということは確かである; fact16 -> int6: その高利貸しはシックス参照でないとすると「それは神々しかなくてそれは堅牢さだ」ということは嘘である;
$facts$ = fact1: その高利貸しは返上する fact2: 何かは記入する fact3: 「「満州国政府だしおまけに目新しいということはない」ということは誤っている」ものがあればその高利貸しは六十七ページ参照である fact4: 「とある物は神々しかないけれど堅牢さである」ということは本当でないとすれば剥離し難くない fact5: 「「満州国政府であるし目新しくない」ということは事実でない」ものはある fact6: 仮にあの店頭在庫が剥離し難いならその高利貸しは返上しない一方で六十七ページ参照だ fact7: 何かは返上しないけれど六十七ページ参照ならば記入する fact8: あの古名は返上する fact9: あの計量器は活動し難くないなら「その境界性人格障害は書き連ねるということはないかもしくはシックス参照でないかもしくは両方ともである」ということは間違いである fact10: 仮に「「満州国政府でない」ということは成り立つ」物があるならその高利貸しは六十七ページ参照である fact11: もし仮に「なんらかのものは記入する」ということは成り立つとすればあの左目は満州国政府で返上する fact12: 仮に「なにがしかの物は書き連ねないかあるいはシックス参照でないかまたは両方だ」ということは誤りだとしたら堅牢さでない fact13: 仮にその高利貸しが剥離し難くないならばあの左目はあくどくて六十七ページ参照だ fact14: もしもなにかはシックス参照でないとしたら「神々しかなくて加えてそれは堅牢さである」ということは間違いだ fact15: 仮にその高利貸しは六十七ページ参照であるし返上するとしたら「それは記入しない」ということは成り立つ ; $hypothesis$ = その高利貸しは記入する ; $proof$ = 
fact5 & fact3 -> int1: その高利貸しは六十七ページ参照である; int1 & fact1 -> int2: その高利貸しは六十七ページ参照であるし返上する; int2 & fact15 -> hypothesis; __DISPROVED__
事実1: その高利貸しは返上する
事実2: 何かは記入する
事実3: 「「満州国政府だしおまけに目新しいということはない」ということは誤っている」ものがあればその高利貸しは六十七ページ参照である
事実4: 「とある物は神々しかないけれど堅牢さである」ということは本当でないとすれば剥離し難くない
事実5: 「「満州国政府であるし目新しくない」ということは事実でない」ものはある
事実6: 仮にあの店頭在庫が剥離し難いならその高利貸しは返上しない一方で六十七ページ参照だ
事実7: 何かは返上しないけれど六十七ページ参照ならば記入する
事実8: あの古名は返上する
事実9: あの計量器は活動し難くないなら「その境界性人格障害は書き連ねるということはないかもしくはシックス参照でないかもしくは両方ともである」ということは間違いである
事実10: 仮に「「満州国政府でない」ということは成り立つ」物があるならその高利貸しは六十七ページ参照である
事実11: もし仮に「なんらかのものは記入する」ということは成り立つとすればあの左目は満州国政府で返上する
事実12: 仮に「なにがしかの物は書き連ねないかあるいはシックス参照でないかまたは両方だ」ということは誤りだとしたら堅牢さでない
事実13: 仮にその高利貸しが剥離し難くないならばあの左目はあくどくて六十七ページ参照だ
事実14: もしもなにかはシックス参照でないとしたら「神々しかなくて加えてそれは堅牢さである」ということは間違いだ
事実15: 仮にその高利貸しは六十七ページ参照であるし返上するとしたら「それは記入しない」ということは成り立つ

仮説: その高利貸しは記入する
1. 事実5と事実3から、推論1: "その高利貸しは六十七ページ参照である"が導かれる
2. 推論1と事実1から、推論2: "その高利貸しは六十七ページ参照であるし返上する"が導かれる
3. 推論2と事実15から、仮説が否定される

よって、仮説が否定されました。