あのＥＸＲはあぐねる
fact1: もしその固体中が気安いかそれが延長運転するかもしくは両方ともだとしたらその安穏はあぐねない fact2: その安穏が延長運転するかそれがあぐねるかもしくは両方であるとすればあのＥＸＲは気安くない fact3: もし仮に何らかのものは気安くないならば「それは背負い切れるしそれは延長運転する」ということは間違いだ fact4: あのハルモニは延長運転するということはない fact5: もしこの着信音は削り取れば「その固体中は危険ゾーンである」ということは事実だ fact6: この着信音はすげなくてさらに削り取る fact7: もしもその固体中が気安いならあのＥＸＲはあぐねない fact8: あの大ホテルは延長運転する fact9: 仮にその安穏が延長運転するとするとその固体中は背負い切れる fact10: その安穏は延長運転する fact11: その固体中は延長運転するなら「その安穏は背負い切れる」ということは確かである fact12: 仮にその固体中が背負い切れるか気安いかもしくは両方ともであるとしたらあのＥＸＲはあぐねない
fact9 & fact10 -> int1: 「その固体中は背負い切れる」ということは確かである; int1 -> int2: その固体中は背負い切れるかあるいは気安い; int2 & fact12 -> hypothesis;
fact9 & fact10 -> int1: {B}{b}; int1 -> int2: ({B}{b} v {C}{b}); int2 & fact12 -> hypothesis;
あのＥＸＲはあぐねる
fact15 -> int3: もしその安穏は気安くないとすれば「それは背負い切れるし延長運転する」ということは成り立たない; fact13 -> int4: この着信音は削り取る; fact14 & int4 -> int5: その固体中は危険ゾーンである; int5 -> int6: 「危険ゾーンな」物はある;
$facts$ = fact1: もしその固体中が気安いかそれが延長運転するかもしくは両方ともだとしたらその安穏はあぐねない fact2: その安穏が延長運転するかそれがあぐねるかもしくは両方であるとすればあのＥＸＲは気安くない fact3: もし仮に何らかのものは気安くないならば「それは背負い切れるしそれは延長運転する」ということは間違いだ fact4: あのハルモニは延長運転するということはない fact5: もしこの着信音は削り取れば「その固体中は危険ゾーンである」ということは事実だ fact6: この着信音はすげなくてさらに削り取る fact7: もしもその固体中が気安いならあのＥＸＲはあぐねない fact8: あの大ホテルは延長運転する fact9: 仮にその安穏が延長運転するとするとその固体中は背負い切れる fact10: その安穏は延長運転する fact11: その固体中は延長運転するなら「その安穏は背負い切れる」ということは確かである fact12: 仮にその固体中が背負い切れるか気安いかもしくは両方ともであるとしたらあのＥＸＲはあぐねない ; $hypothesis$ = あのＥＸＲはあぐねる ; $proof$ = 
fact9 & fact10 -> int1: 「その固体中は背負い切れる」ということは確かである; int1 -> int2: その固体中は背負い切れるかあるいは気安い; int2 & fact12 -> hypothesis; __DISPROVED__
事実1: もしその固体中が気安いかそれが延長運転するかもしくは両方ともだとしたらその安穏はあぐねない
事実2: その安穏が延長運転するかそれがあぐねるかもしくは両方であるとすればあのＥＸＲは気安くない
事実3: もし仮に何らかのものは気安くないならば「それは背負い切れるしそれは延長運転する」ということは間違いだ
事実4: あのハルモニは延長運転するということはない
事実5: もしこの着信音は削り取れば「その固体中は危険ゾーンである」ということは事実だ
事実6: この着信音はすげなくてさらに削り取る
事実7: もしもその固体中が気安いならあのＥＸＲはあぐねない
事実8: あの大ホテルは延長運転する
事実9: 仮にその安穏が延長運転するとするとその固体中は背負い切れる
事実10: その安穏は延長運転する
事実11: その固体中は延長運転するなら「その安穏は背負い切れる」ということは確かである
事実12: 仮にその固体中が背負い切れるか気安いかもしくは両方ともであるとしたらあのＥＸＲはあぐねない

仮説: あのＥＸＲはあぐねる
1. 事実9と事実10から、推論1: "「その固体中は背負い切れる」ということは確かである"が導かれる
2. 推論1から、推論2: "その固体中は背負い切れるかあるいは気安い"が導かれる
3. 推論2と事実12から、仮説が否定される

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