あの最終巻はタッチしない
fact1: なにかは運転士であるならばそれはタッチする fact2: あの最終巻は御参照下さらない fact3: 仮に「その家具什器は繋がり易いかもしくはシュークリームでないかもしくは両方ともだ」ということは成り立たないならあの最終巻は運転士だ fact4: あの王号はタッチする fact5: もしもなにがしかのものは疲弊し切らないとすると「それは御参照下さるし運転士だ」ということは成り立たない fact6: 「その家具什器はシュークリームだ」ということは真実だ fact7: ある物が御利用頂けば大鍬形だ fact8: 「あのＩＭＥは御参照下さらない」ということは真実である fact9: もしその家具什器が御参照下さるとするとそれは繋がり易い fact10: もしも「この十八日付けは御参照下さるということはない」ということは成り立つとすれば「その家具什器は繋がり易いかもしくはシュークリームでないかどちらもだ」ということは嘘である fact11: 「この十八日付けは御参照下さらない」ということは真実である fact12: もし「「繋がり易くないしかつ運転士である」ということは偽な」物があるとすればその大目付けは繋がり易い fact13: もしも「その家具什器は繋がり易いかあるいはそれはシュークリームであるか両方である」ということは成り立たないとしたらあの最終巻は運転士だ fact14: この十八日付けはタッチしない fact15: この十八日付けは繋がり易くない fact16: もしもこの十八日付けが御参照下さらないならばその家具什器はシュークリームである fact17: あの最終巻はシュークリームでない
fact10 & fact11 -> int1: 「その家具什器は繋がり易いかまたはそれはシュークリームでないかもしくは両方ともだ」ということは間違いだ; int1 & fact3 -> int2: あの最終巻は運転士だ; fact1 -> int3: もしあの最終巻が運転士ならそれはタッチする; int2 & int3 -> hypothesis;
fact10 & fact11 -> int1: ¬({AA}{b} v ¬{AB}{b}); int1 & fact3 -> int2: {B}{c}; fact1 -> int3: {B}{c} -> {C}{c}; int2 & int3 -> hypothesis;
あの最終巻はタッチするということはない
fact18 -> int4: もし仮にあの最終巻は疲弊し切らないとしたら「それは御参照下さるし更に運転士である」ということは成り立たない;
$facts$ = fact1: なにかは運転士であるならばそれはタッチする fact2: あの最終巻は御参照下さらない fact3: 仮に「その家具什器は繋がり易いかもしくはシュークリームでないかもしくは両方ともだ」ということは成り立たないならあの最終巻は運転士だ fact4: あの王号はタッチする fact5: もしもなにがしかのものは疲弊し切らないとすると「それは御参照下さるし運転士だ」ということは成り立たない fact6: 「その家具什器はシュークリームだ」ということは真実だ fact7: ある物が御利用頂けば大鍬形だ fact8: 「あのＩＭＥは御参照下さらない」ということは真実である fact9: もしその家具什器が御参照下さるとするとそれは繋がり易い fact10: もしも「この十八日付けは御参照下さるということはない」ということは成り立つとすれば「その家具什器は繋がり易いかもしくはシュークリームでないかどちらもだ」ということは嘘である fact11: 「この十八日付けは御参照下さらない」ということは真実である fact12: もし「「繋がり易くないしかつ運転士である」ということは偽な」物があるとすればその大目付けは繋がり易い fact13: もしも「その家具什器は繋がり易いかあるいはそれはシュークリームであるか両方である」ということは成り立たないとしたらあの最終巻は運転士だ fact14: この十八日付けはタッチしない fact15: この十八日付けは繋がり易くない fact16: もしもこの十八日付けが御参照下さらないならばその家具什器はシュークリームである fact17: あの最終巻はシュークリームでない ; $hypothesis$ = あの最終巻はタッチしない ; $proof$ = 
fact10 & fact11 -> int1: 「その家具什器は繋がり易いかまたはそれはシュークリームでないかもしくは両方ともだ」ということは間違いだ; int1 & fact3 -> int2: あの最終巻は運転士だ; fact1 -> int3: もしあの最終巻が運転士ならそれはタッチする; int2 & int3 -> hypothesis; __DISPROVED__
事実1: なにかは運転士であるならばそれはタッチする
事実2: あの最終巻は御参照下さらない
事実3: 仮に「その家具什器は繋がり易いかもしくはシュークリームでないかもしくは両方ともだ」ということは成り立たないならあの最終巻は運転士だ
事実4: あの王号はタッチする
事実5: もしもなにがしかのものは疲弊し切らないとすると「それは御参照下さるし運転士だ」ということは成り立たない
事実6: 「その家具什器はシュークリームだ」ということは真実だ
事実7: ある物が御利用頂けば大鍬形だ
事実8: 「あのＩＭＥは御参照下さらない」ということは真実である
事実9: もしその家具什器が御参照下さるとするとそれは繋がり易い
事実10: もしも「この十八日付けは御参照下さるということはない」ということは成り立つとすれば「その家具什器は繋がり易いかもしくはシュークリームでないかどちらもだ」ということは嘘である
事実11: 「この十八日付けは御参照下さらない」ということは真実である
事実12: もし「「繋がり易くないしかつ運転士である」ということは偽な」物があるとすればその大目付けは繋がり易い
事実13: もしも「その家具什器は繋がり易いかあるいはそれはシュークリームであるか両方である」ということは成り立たないとしたらあの最終巻は運転士だ
事実14: この十八日付けはタッチしない
事実15: この十八日付けは繋がり易くない
事実16: もしもこの十八日付けが御参照下さらないならばその家具什器はシュークリームである
事実17: あの最終巻はシュークリームでない

仮説: あの最終巻はタッチしない
1. 事実10と事実11から、推論1: "「その家具什器は繋がり易いかまたはそれはシュークリームでないかもしくは両方ともだ」ということは間違いだ"が導かれる
2. 推論1と事実3から、推論2: "あの最終巻は運転士だ"が導かれる
3. 事実1から、推論3: "もしあの最終巻が運転士ならそれはタッチする"が導かれる
4. 推論2と推論3から、仮説が否定される

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