その一便は束縛し合わないかまたは掴み易いか両方だ
fact1: この幕開けは軽ーくない fact2: もしこの幕開けは軽ーくないなら「このフェオフォーバイドは守り通すしおまけに連絡先だ」ということは成り立つということはない fact3: もしもこの幕開けは軽ーくないならば「このフェオフォーバイドは守り通さないがそれは連絡先だ」ということは誤りだ fact4: 「その一便は掴み易くない」ということは成り立つ fact5: 仮にこの幕開けが通じ難くないならばあの一便は軽ーいしそれにそれは焦り出す fact6: もし仮にあの手配は納得し難いとすると「このフェオフォーバイドは一服しないかもしくは気安いかまたはどちらもだ」ということは真実でない fact7: 「このフェオフォーバイドは束縛し合わない」ということは事実だとしたら「あの手配は守り通すということはない一方でそれは連絡先である」ということは成り立たない fact8: 仮にある物は軽ーいとすれば「それは束縛し合うし更にそれは配置等でない」ということは成り立つということはない fact9: もし「このフェオフォーバイドは守り通さないがしかし連絡先である」ということは嘘であるとしたらあの手配は束縛し合わない fact10: 「このフェオフォーバイドは守り通すし連絡先だ」ということは成り立たない fact11: あの手配が束縛し合うということはないとすればその一便は掴み易くない fact12: もし仮にこの幕開けは焦り出すとすると「それは掴み易いということはないが配置等だ」ということは誤りである fact13: もし「このフェオフォーバイドは一服しないかあるいは気安いかもしくはどちらもである」ということは嘘ならこの幕開けは通じ難くない fact14: 仮にこのフェオフォーバイドは守り通すなら「あの手配は束縛し合わない」ということは確かである fact15: もし仮に「この幕開けは一服するということはない」ということは本当であるならそれは焦り出すし通じ難い fact16: あの手配は束縛し合わないとすると「その一便は束縛し合わないかまたは掴み易い」ということは事実と異なる fact17: もし仮に「とあるものは束縛し合うけど配置等だということはない」ということは成り立つということはないとしたら束縛し合わない
fact3 & fact1 -> int1: 「このフェオフォーバイドは守り通さないけれど連絡先だ」ということは成り立つということはない; int1 & fact9 -> int2: 「あの手配は束縛し合うということはない」ということは成り立つ; int2 & fact16 -> hypothesis;
fact3 & fact1 -> int1: ¬(¬{AA}{b} & {AB}{b}); int1 & fact9 -> int2: ¬{B}{c}; int2 & fact16 -> hypothesis;
その一便は束縛し合わないかもしくはそれは掴み易いか両方である
fact22 -> int3: もし「その一便は束縛し合うが配置等でない」ということは間違っているとすれば束縛し合わない; fact19 -> int4: 仮にその一便は軽ーいとすると「それは束縛し合うけど配置等でない」ということは誤っている;
$facts$ = fact1: この幕開けは軽ーくない fact2: もしこの幕開けは軽ーくないなら「このフェオフォーバイドは守り通すしおまけに連絡先だ」ということは成り立つということはない fact3: もしもこの幕開けは軽ーくないならば「このフェオフォーバイドは守り通さないがそれは連絡先だ」ということは誤りだ fact4: 「その一便は掴み易くない」ということは成り立つ fact5: 仮にこの幕開けが通じ難くないならばあの一便は軽ーいしそれにそれは焦り出す fact6: もし仮にあの手配は納得し難いとすると「このフェオフォーバイドは一服しないかもしくは気安いかまたはどちらもだ」ということは真実でない fact7: 「このフェオフォーバイドは束縛し合わない」ということは事実だとしたら「あの手配は守り通すということはない一方でそれは連絡先である」ということは成り立たない fact8: 仮にある物は軽ーいとすれば「それは束縛し合うし更にそれは配置等でない」ということは成り立つということはない fact9: もし「このフェオフォーバイドは守り通さないがしかし連絡先である」ということは嘘であるとしたらあの手配は束縛し合わない fact10: 「このフェオフォーバイドは守り通すし連絡先だ」ということは成り立たない fact11: あの手配が束縛し合うということはないとすればその一便は掴み易くない fact12: もし仮にこの幕開けは焦り出すとすると「それは掴み易いということはないが配置等だ」ということは誤りである fact13: もし「このフェオフォーバイドは一服しないかあるいは気安いかもしくはどちらもである」ということは嘘ならこの幕開けは通じ難くない fact14: 仮にこのフェオフォーバイドは守り通すなら「あの手配は束縛し合わない」ということは確かである fact15: もし仮に「この幕開けは一服するということはない」ということは本当であるならそれは焦り出すし通じ難い fact16: あの手配は束縛し合わないとすると「その一便は束縛し合わないかまたは掴み易い」ということは事実と異なる fact17: もし仮に「とあるものは束縛し合うけど配置等だということはない」ということは成り立つということはないとしたら束縛し合わない ; $hypothesis$ = その一便は束縛し合わないかまたは掴み易いか両方だ ; $proof$ = 
fact3 & fact1 -> int1: 「このフェオフォーバイドは守り通さないけれど連絡先だ」ということは成り立つということはない; int1 & fact9 -> int2: 「あの手配は束縛し合うということはない」ということは成り立つ; int2 & fact16 -> hypothesis; __DISPROVED__
事実1: この幕開けは軽ーくない
事実2: もしこの幕開けは軽ーくないなら「このフェオフォーバイドは守り通すしおまけに連絡先だ」ということは成り立つということはない
事実3: もしもこの幕開けは軽ーくないならば「このフェオフォーバイドは守り通さないがそれは連絡先だ」ということは誤りだ
事実4: 「その一便は掴み易くない」ということは成り立つ
事実5: 仮にこの幕開けが通じ難くないならばあの一便は軽ーいしそれにそれは焦り出す
事実6: もし仮にあの手配は納得し難いとすると「このフェオフォーバイドは一服しないかもしくは気安いかまたはどちらもだ」ということは真実でない
事実7: 「このフェオフォーバイドは束縛し合わない」ということは事実だとしたら「あの手配は守り通すということはない一方でそれは連絡先である」ということは成り立たない
事実8: 仮にある物は軽ーいとすれば「それは束縛し合うし更にそれは配置等でない」ということは成り立つということはない
事実9: もし「このフェオフォーバイドは守り通さないがしかし連絡先である」ということは嘘であるとしたらあの手配は束縛し合わない
事実10: 「このフェオフォーバイドは守り通すし連絡先だ」ということは成り立たない
事実11: あの手配が束縛し合うということはないとすればその一便は掴み易くない
事実12: もし仮にこの幕開けは焦り出すとすると「それは掴み易いということはないが配置等だ」ということは誤りである
事実13: もし「このフェオフォーバイドは一服しないかあるいは気安いかもしくはどちらもである」ということは嘘ならこの幕開けは通じ難くない
事実14: 仮にこのフェオフォーバイドは守り通すなら「あの手配は束縛し合わない」ということは確かである
事実15: もし仮に「この幕開けは一服するということはない」ということは本当であるならそれは焦り出すし通じ難い
事実16: あの手配は束縛し合わないとすると「その一便は束縛し合わないかまたは掴み易い」ということは事実と異なる
事実17: もし仮に「とあるものは束縛し合うけど配置等だということはない」ということは成り立つということはないとしたら束縛し合わない

仮説: その一便は束縛し合わないかまたは掴み易いか両方だ
1. 事実3と事実1から、推論1: "「このフェオフォーバイドは守り通さないけれど連絡先だ」ということは成り立つということはない"が導かれる
2. 推論1と事実9から、推論2: "「あの手配は束縛し合うということはない」ということは成り立つ"が導かれる
3. 推論2と事実16から、仮説が否定される

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