そのオリゴマーは運転し易くない
fact1: その歴史自体は食い入らないがしかし羽柴勢である fact2: もしもそのオリゴマーは寄る辺無くてかつ地中深いとすると「それは運転し易くない」ということは正しい fact3: 仮にその歴史自体が同士でないけど構え易いとすると地中深い fact4: その歴史自体は姉らしくない fact5: 寄る辺無くないものは構え易い fact6: もしもこの庁舎はディーゼルハンマでないとすれば「それは河豚坊であるが浸透性でない」ということは偽である fact7: 構え易いということはないものは運転し易くないが同士である fact8: 「そのオリゴマーは河豚坊でない」ということは成り立つ fact9: 運転し易くない物は地中深くない一方で寄る辺無い fact10: もし仮に「この庁舎はディーゼルハンマだけれどそれは言い直さない」ということは間違いだとすればディーゼルハンマでない fact11: もし仮にその歴史自体が寄る辺無くないとしたら構え易い fact12: もしもその歴史自体が寄る辺無いとすればそのオリゴマーは運転し易い fact13: 「「この庁舎は河豚坊だが浸透性でない」ということは真実だ」ということは事実と異なればあの下刻は短縮化しない fact14: 「この庁舎はディーゼルハンマであるけど言い直さない」ということは事実でない fact15: その歴史自体は固着しない fact16: 仮にとある物は呼ばないなら「浮き易くない」ということは成り立つ fact17: その歴史自体は構え易い fact18: 寄る辺無くないものは同士でないけど構え易い fact19: 仮になにかは河豚坊でないならそれは寄る辺無いしかつ短縮化する fact20: そのオリゴマーは寄る辺無い fact21: 仮にあの下刻が短縮化するということはないとすると社債券不発行でなくておまけに見詰め直すということはない fact22: その歴史自体は地中深いということはない fact23: そのオリゴマーは同士だ fact24: あの伝染病舎は構え易くない
fact18 -> int1: もし仮にその歴史自体が寄る辺無くないとしたら同士でないが構え易い; void -> assump1: 以下のように仮定する。その歴史自体は寄る辺無くない; int1 & assump1 -> int2: その歴史自体は同士でないが構え易い; int2 & fact3 -> int3: その歴史自体は地中深い; int3 & fact22 -> int4: これは矛盾である; [assump1] & int4 -> int5: その歴史自体は寄る辺無い; int5 & fact12 -> hypothesis;
そのオリゴマーは運転し易くない
fact25 & fact26 -> int6: この庁舎はディーゼルハンマでない; fact28 & int6 -> int7: 「この庁舎は河豚坊だけれど浸透性でない」ということは成り立つということはない; fact29 & int7 -> int8: あの下刻は短縮化するということはない; fact27 & int8 -> int9: あの下刻は社債券不発行でないしかつ見詰め直さない; int9 -> int10: 何らかの物は社債券不発行だということはないし見詰め直さない;
$facts$ = fact1: その歴史自体は食い入らないがしかし羽柴勢である fact2: もしもそのオリゴマーは寄る辺無くてかつ地中深いとすると「それは運転し易くない」ということは正しい fact3: 仮にその歴史自体が同士でないけど構え易いとすると地中深い fact4: その歴史自体は姉らしくない fact5: 寄る辺無くないものは構え易い fact6: もしもこの庁舎はディーゼルハンマでないとすれば「それは河豚坊であるが浸透性でない」ということは偽である fact7: 構え易いということはないものは運転し易くないが同士である fact8: 「そのオリゴマーは河豚坊でない」ということは成り立つ fact9: 運転し易くない物は地中深くない一方で寄る辺無い fact10: もし仮に「この庁舎はディーゼルハンマだけれどそれは言い直さない」ということは間違いだとすればディーゼルハンマでない fact11: もし仮にその歴史自体が寄る辺無くないとしたら構え易い fact12: もしもその歴史自体が寄る辺無いとすればそのオリゴマーは運転し易い fact13: 「「この庁舎は河豚坊だが浸透性でない」ということは真実だ」ということは事実と異なればあの下刻は短縮化しない fact14: 「この庁舎はディーゼルハンマであるけど言い直さない」ということは事実でない fact15: その歴史自体は固着しない fact16: 仮にとある物は呼ばないなら「浮き易くない」ということは成り立つ fact17: その歴史自体は構え易い fact18: 寄る辺無くないものは同士でないけど構え易い fact19: 仮になにかは河豚坊でないならそれは寄る辺無いしかつ短縮化する fact20: そのオリゴマーは寄る辺無い fact21: 仮にあの下刻が短縮化するということはないとすると社債券不発行でなくておまけに見詰め直すということはない fact22: その歴史自体は地中深いということはない fact23: そのオリゴマーは同士だ fact24: あの伝染病舎は構え易くない ; $hypothesis$ = そのオリゴマーは運転し易くない ; $proof$ = 
fact18 -> int1: もし仮にその歴史自体が寄る辺無くないとしたら同士でないが構え易い; void -> assump1: 以下のように仮定する。その歴史自体は寄る辺無くない; int1 & assump1 -> int2: その歴史自体は同士でないが構え易い; int2 & fact3 -> int3: その歴史自体は地中深い; int3 & fact22 -> int4: これは矛盾である; [assump1] & int4 -> int5: その歴史自体は寄る辺無い; int5 & fact12 -> hypothesis; __DISPROVED__
事実1: その歴史自体は食い入らないがしかし羽柴勢である
事実2: もしもそのオリゴマーは寄る辺無くてかつ地中深いとすると「それは運転し易くない」ということは正しい
事実3: 仮にその歴史自体が同士でないけど構え易いとすると地中深い
事実4: その歴史自体は姉らしくない
事実5: 寄る辺無くないものは構え易い
事実6: もしもこの庁舎はディーゼルハンマでないとすれば「それは河豚坊であるが浸透性でない」ということは偽である
事実7: 構え易いということはないものは運転し易くないが同士である
事実8: 「そのオリゴマーは河豚坊でない」ということは成り立つ
事実9: 運転し易くない物は地中深くない一方で寄る辺無い
事実10: もし仮に「この庁舎はディーゼルハンマだけれどそれは言い直さない」ということは間違いだとすればディーゼルハンマでない
事実11: もし仮にその歴史自体が寄る辺無くないとしたら構え易い
事実12: もしもその歴史自体が寄る辺無いとすればそのオリゴマーは運転し易い
事実13: 「「この庁舎は河豚坊だが浸透性でない」ということは真実だ」ということは事実と異なればあの下刻は短縮化しない
事実14: 「この庁舎はディーゼルハンマであるけど言い直さない」ということは事実でない
事実15: その歴史自体は固着しない
事実16: 仮にとある物は呼ばないなら「浮き易くない」ということは成り立つ
事実17: その歴史自体は構え易い
事実18: 寄る辺無くないものは同士でないけど構え易い
事実19: 仮になにかは河豚坊でないならそれは寄る辺無いしかつ短縮化する
事実20: そのオリゴマーは寄る辺無い
事実21: 仮にあの下刻が短縮化するということはないとすると社債券不発行でなくておまけに見詰め直すということはない
事実22: その歴史自体は地中深いということはない
事実23: そのオリゴマーは同士だ
事実24: あの伝染病舎は構え易くない

仮説: そのオリゴマーは運転し易くない
1. 事実18から、推論1: "もし仮にその歴史自体が寄る辺無くないとしたら同士でないが構え易い"が導かれる
2. 仮定1: 以下のように仮定する。その歴史自体は寄る辺無くない
3. 推論1と仮定1から、推論2: "その歴史自体は同士でないが構え易い"が導かれる
4. 推論2と事実3から、推論3: "その歴史自体は地中深い"が導かれる
5. 推論3と事実22から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "その歴史自体は寄る辺無い"が導かれる
7. 推論5と事実12から、仮説が否定される

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