この再考はぽんする
fact1: もしあの主観的事情がしばれるとすれば臨床応用する fact2: 仮にあの主観的事情は愛しい一方で細か過ぎないなら「この再考はぽんするということはない」ということは確かである fact3: 仮にあのＣライクマンは異方でないとすると「汚れ難いししかも模範定款例である」ということは確かだ fact4: その厘半はしばれる fact5: 仮にあの主観的事情が臨床応用すれば出向する fact6: 模範定款例は愛しい fact7: もしあのＣライクマンは愛しいなら「あの主観的事情は細か過ぎる」ということは成り立つ fact8: あの労働法典はコピー＆ペーストするけれど逃れ難くない fact9: あの主観的事情は細か過ぎるということはない fact10: あの主観的事情はしばれる fact11: もし「あの主観的事情は出向する」ということは事実だとしたら愛しいがしかし細か過ぎるということはない fact12: もしもあの主観的事情は愛しくてまた細か過ぎるとすると「この再考はぽんしない」ということは真実である fact13: 仮にとある物が細か過ぎるとすればそれは臨床応用しなくてそれは出向するということはない fact14: もしなんらかの物が框だとしたらそれは再審理である fact15: 仮にあの主観的事情が臨床応用しないとすればこの再考はぽんするししばれる
fact1 & fact10 -> int1: あの主観的事情は臨床応用する; int1 & fact5 -> int2: あの主観的事情は出向する; int2 & fact11 -> int3: あの主観的事情は愛しいけれど細か過ぎない; int3 & fact2 -> hypothesis;
この再考はぽんする
fact17 -> int4: 仮にあの主観的事情が細か過ぎればそれは臨床応用しなくてそれは出向しない; fact20 -> int5: もしもあのＣライクマンは模範定款例であるならそれは愛しい;
$facts$ = fact1: もしあの主観的事情がしばれるとすれば臨床応用する fact2: 仮にあの主観的事情は愛しい一方で細か過ぎないなら「この再考はぽんするということはない」ということは確かである fact3: 仮にあのＣライクマンは異方でないとすると「汚れ難いししかも模範定款例である」ということは確かだ fact4: その厘半はしばれる fact5: 仮にあの主観的事情が臨床応用すれば出向する fact6: 模範定款例は愛しい fact7: もしあのＣライクマンは愛しいなら「あの主観的事情は細か過ぎる」ということは成り立つ fact8: あの労働法典はコピー＆ペーストするけれど逃れ難くない fact9: あの主観的事情は細か過ぎるということはない fact10: あの主観的事情はしばれる fact11: もし「あの主観的事情は出向する」ということは事実だとしたら愛しいがしかし細か過ぎるということはない fact12: もしもあの主観的事情は愛しくてまた細か過ぎるとすると「この再考はぽんしない」ということは真実である fact13: 仮にとある物が細か過ぎるとすればそれは臨床応用しなくてそれは出向するということはない fact14: もしなんらかの物が框だとしたらそれは再審理である fact15: 仮にあの主観的事情が臨床応用しないとすればこの再考はぽんするししばれる ; $hypothesis$ = この再考はぽんする ; $proof$ = 
fact1 & fact10 -> int1: あの主観的事情は臨床応用する; int1 & fact5 -> int2: あの主観的事情は出向する; int2 & fact11 -> int3: あの主観的事情は愛しいけれど細か過ぎない; int3 & fact2 -> hypothesis; __DISPROVED__
事実1: もしあの主観的事情がしばれるとすれば臨床応用する
事実2: 仮にあの主観的事情は愛しい一方で細か過ぎないなら「この再考はぽんするということはない」ということは確かである
事実3: 仮にあのＣライクマンは異方でないとすると「汚れ難いししかも模範定款例である」ということは確かだ
事実4: その厘半はしばれる
事実5: 仮にあの主観的事情が臨床応用すれば出向する
事実6: 模範定款例は愛しい
事実7: もしあのＣライクマンは愛しいなら「あの主観的事情は細か過ぎる」ということは成り立つ
事実8: あの労働法典はコピー＆ペーストするけれど逃れ難くない
事実9: あの主観的事情は細か過ぎるということはない
事実10: あの主観的事情はしばれる
事実11: もし「あの主観的事情は出向する」ということは事実だとしたら愛しいがしかし細か過ぎるということはない
事実12: もしもあの主観的事情は愛しくてまた細か過ぎるとすると「この再考はぽんしない」ということは真実である
事実13: 仮にとある物が細か過ぎるとすればそれは臨床応用しなくてそれは出向するということはない
事実14: もしなんらかの物が框だとしたらそれは再審理である
事実15: 仮にあの主観的事情が臨床応用しないとすればこの再考はぽんするししばれる

仮説: この再考はぽんする
1. 事実1と事実10から、推論1: "あの主観的事情は臨床応用する"が導かれる
2. 推論1と事実5から、推論2: "あの主観的事情は出向する"が導かれる
3. 推論2と事実11から、推論3: "あの主観的事情は愛しいけれど細か過ぎない"が導かれる
4. 推論3と事実2から、仮説が否定される

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