このロマン派ははち切れる
fact1: 「その僭主は脂っぽい一方で家屋でない」ということは事実でないとしたらそれははち切れる fact2: あの大人物は防衛兵である fact3: 仮にその僭主がはち切れるしかつ振興策であるとすればそれは上掲でない fact4: もしあの大人物が防衛兵だとすると理解し辛くないがしかし協調する fact5: 仮にあの大人物が理解し辛くないけれど協調するとすればこのロマン派は有り難がる fact6: もし仮になにがしかのものは有り難がらないなら「防衛兵であるしその上それははち切れない」ということは成り立たない fact7: もし仮になにかは振興策でないとしたらそれははち切れない fact8: もしも何かは有り難がるかもしくは上掲であるか両方ともだとしたら振興策でない
fact4 & fact2 -> int1: あの大人物は理解し辛くないけれど協調する; int1 & fact5 -> int2: このロマン派は有り難がる; int2 -> int3: このロマン派は有り難がるかもしくは上掲だ; fact8 -> int4: もしもこのロマン派が有り難がるかまたはそれが上掲だとしたら振興策でない; int3 & int4 -> int5: 「このロマン派は振興策でない」ということは本当だ; fact7 -> int6: このロマン派は振興策でないならはち切れない; int5 & int6 -> hypothesis;
このロマン派ははち切れる
fact9 -> int7: もし仮にあの大人物は有り難がらないとしたら「それは防衛兵であるしまたそれははち切れない」ということは偽だ;
$facts$ = fact1: 「その僭主は脂っぽい一方で家屋でない」ということは事実でないとしたらそれははち切れる fact2: あの大人物は防衛兵である fact3: 仮にその僭主がはち切れるしかつ振興策であるとすればそれは上掲でない fact4: もしあの大人物が防衛兵だとすると理解し辛くないがしかし協調する fact5: 仮にあの大人物が理解し辛くないけれど協調するとすればこのロマン派は有り難がる fact6: もし仮になにがしかのものは有り難がらないなら「防衛兵であるしその上それははち切れない」ということは成り立たない fact7: もし仮になにかは振興策でないとしたらそれははち切れない fact8: もしも何かは有り難がるかもしくは上掲であるか両方ともだとしたら振興策でない ; $hypothesis$ = このロマン派ははち切れる ; $proof$ = 
fact4 & fact2 -> int1: あの大人物は理解し辛くないけれど協調する; int1 & fact5 -> int2: このロマン派は有り難がる; int2 -> int3: このロマン派は有り難がるかもしくは上掲だ; fact8 -> int4: もしもこのロマン派が有り難がるかまたはそれが上掲だとしたら振興策でない; int3 & int4 -> int5: 「このロマン派は振興策でない」ということは本当だ; fact7 -> int6: このロマン派は振興策でないならはち切れない; int5 & int6 -> hypothesis; __DISPROVED__
事実1: 「その僭主は脂っぽい一方で家屋でない」ということは事実でないとしたらそれははち切れる
事実2: あの大人物は防衛兵である
事実3: 仮にその僭主がはち切れるしかつ振興策であるとすればそれは上掲でない
事実4: もしあの大人物が防衛兵だとすると理解し辛くないがしかし協調する
事実5: 仮にあの大人物が理解し辛くないけれど協調するとすればこのロマン派は有り難がる
事実6: もし仮になにがしかのものは有り難がらないなら「防衛兵であるしその上それははち切れない」ということは成り立たない
事実7: もし仮になにかは振興策でないとしたらそれははち切れない
事実8: もしも何かは有り難がるかもしくは上掲であるか両方ともだとしたら振興策でない

仮説: このロマン派ははち切れる
1. 事実4と事実2から、推論1: "あの大人物は理解し辛くないけれど協調する"が導かれる
2. 推論1と事実5から、推論2: "このロマン派は有り難がる"が導かれる
3. 推論2から、推論3: "このロマン派は有り難がるかもしくは上掲だ"が導かれる
4. 事実8から、推論4: "もしもこのロマン派が有り難がるかまたはそれが上掲だとしたら振興策でない"が導かれる
5. 推論3と推論4から、推論5: "「このロマン派は振興策でない」ということは本当だ"が導かれる
6. 事実7から、推論6: "このロマン派は振興策でないならはち切れない"が導かれる
7. 推論5と推論6から、仮説が否定される

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