「そのバッファローはフォートでないが取り結ぶ」ということは成り立つということはない
fact1: もしも「あの配置等は納品であるということはない」ということは事実であるならこの取り次ぎは納品であるがそれは近付き難くない fact2: もし「この鏡面反射成分は赤黒いということはない」ということは偽でないとするとその読み日響チケットセンターは押し易くて加えて赤黒い fact3: あの配置等は変更出来る fact4: 仮にその読み日響チケットセンターが赤黒いとすればその角質は懐こい fact5: 仮に「あの配置等は赤黒い」ということは成り立つとしたら「そのバッファローはフォートでないがそれは取り結ぶ」ということは成り立たない fact6: もし懐こくないものが押し易くないとしたら納品である fact7: 「あの配置等は変更出来ないか確実視しないかあるいはどちらもである」ということは事実と異なるとしたら「それは納品でない」ということは確かだ fact8: 「「あの配置等は変更出来るということはないかあるいはそれは確実視しないかまたは両方だ」ということは真実だ」ということは偽だ fact9: もし仮にそのバッファローは軽装でないなら「「それはあぶれないししかもそれは放卵する」ということは真実である」ということは誤りだ fact10: もし仮にその角質が懐こいとすればあのバッファローはフォートでない fact11: もしも「そのバッファローはあぶれないがしかし放卵する」ということは間違いだとすれば取り結ぶ fact12: そのバッファローは軽装でない fact13: もし仮にこの取り次ぎが納品であるがそれが近付き難くないとしたらこの鏡面反射成分は赤黒くない fact14: もしもこの鏡面反射成分は納品であるならば「この取り次ぎは赤黒くないけれどそれは近付き難い」ということは間違っている
fact7 & fact8 -> int1: あの配置等は納品でない; int1 & fact1 -> int2: この取り次ぎは納品であるがしかし近付き難くない; int2 & fact13 -> int3: この鏡面反射成分は赤黒くない; int3 & fact2 -> int4: その読み日響チケットセンターは押し易くて赤黒い; int4 -> int5: その読み日響チケットセンターは赤黒い; int5 & fact4 -> int6: その角質は懐こい; int6 & fact10 -> int7: そのバッファローはフォートであるということはない; fact12 & fact9 -> int8: 「そのバッファローはあぶれるということはないけれど放卵する」ということは間違いである; fact11 & int8 -> int9: そのバッファローは取り結ぶ; int7 & int9 -> hypothesis;
「そのバッファローはフォートであるということはないけどそれは取り結ぶ」ということは間違っている
fact17 -> int10: この鏡面反射成分は懐こくなくてしかも押し易くないとすれば納品だ;
$facts$ = fact1: もしも「あの配置等は納品であるということはない」ということは事実であるならこの取り次ぎは納品であるがそれは近付き難くない fact2: もし「この鏡面反射成分は赤黒いということはない」ということは偽でないとするとその読み日響チケットセンターは押し易くて加えて赤黒い fact3: あの配置等は変更出来る fact4: 仮にその読み日響チケットセンターが赤黒いとすればその角質は懐こい fact5: 仮に「あの配置等は赤黒い」ということは成り立つとしたら「そのバッファローはフォートでないがそれは取り結ぶ」ということは成り立たない fact6: もし懐こくないものが押し易くないとしたら納品である fact7: 「あの配置等は変更出来ないか確実視しないかあるいはどちらもである」ということは事実と異なるとしたら「それは納品でない」ということは確かだ fact8: 「「あの配置等は変更出来るということはないかあるいはそれは確実視しないかまたは両方だ」ということは真実だ」ということは偽だ fact9: もし仮にそのバッファローは軽装でないなら「「それはあぶれないししかもそれは放卵する」ということは真実である」ということは誤りだ fact10: もし仮にその角質が懐こいとすればあのバッファローはフォートでない fact11: もしも「そのバッファローはあぶれないがしかし放卵する」ということは間違いだとすれば取り結ぶ fact12: そのバッファローは軽装でない fact13: もし仮にこの取り次ぎが納品であるがそれが近付き難くないとしたらこの鏡面反射成分は赤黒くない fact14: もしもこの鏡面反射成分は納品であるならば「この取り次ぎは赤黒くないけれどそれは近付き難い」ということは間違っている ; $hypothesis$ = 「そのバッファローはフォートでないが取り結ぶ」ということは成り立つということはない ; $proof$ = 
fact7 & fact8 -> int1: あの配置等は納品でない; int1 & fact1 -> int2: この取り次ぎは納品であるがしかし近付き難くない; int2 & fact13 -> int3: この鏡面反射成分は赤黒くない; int3 & fact2 -> int4: その読み日響チケットセンターは押し易くて赤黒い; int4 -> int5: その読み日響チケットセンターは赤黒い; int5 & fact4 -> int6: その角質は懐こい; int6 & fact10 -> int7: そのバッファローはフォートであるということはない; fact12 & fact9 -> int8: 「そのバッファローはあぶれるということはないけれど放卵する」ということは間違いである; fact11 & int8 -> int9: そのバッファローは取り結ぶ; int7 & int9 -> hypothesis; __DISPROVED__
事実1: もしも「あの配置等は納品であるということはない」ということは事実であるならこの取り次ぎは納品であるがそれは近付き難くない
事実2: もし「この鏡面反射成分は赤黒いということはない」ということは偽でないとするとその読み日響チケットセンターは押し易くて加えて赤黒い
事実3: あの配置等は変更出来る
事実4: 仮にその読み日響チケットセンターが赤黒いとすればその角質は懐こい
事実5: 仮に「あの配置等は赤黒い」ということは成り立つとしたら「そのバッファローはフォートでないがそれは取り結ぶ」ということは成り立たない
事実6: もし懐こくないものが押し易くないとしたら納品である
事実7: 「あの配置等は変更出来ないか確実視しないかあるいはどちらもである」ということは事実と異なるとしたら「それは納品でない」ということは確かだ
事実8: 「「あの配置等は変更出来るということはないかあるいはそれは確実視しないかまたは両方だ」ということは真実だ」ということは偽だ
事実9: もし仮にそのバッファローは軽装でないなら「「それはあぶれないししかもそれは放卵する」ということは真実である」ということは誤りだ
事実10: もし仮にその角質が懐こいとすればあのバッファローはフォートでない
事実11: もしも「そのバッファローはあぶれないがしかし放卵する」ということは間違いだとすれば取り結ぶ
事実12: そのバッファローは軽装でない
事実13: もし仮にこの取り次ぎが納品であるがそれが近付き難くないとしたらこの鏡面反射成分は赤黒くない
事実14: もしもこの鏡面反射成分は納品であるならば「この取り次ぎは赤黒くないけれどそれは近付き難い」ということは間違っている

仮説: 「そのバッファローはフォートでないが取り結ぶ」ということは成り立つということはない
1. 事実7と事実8から、推論1: "あの配置等は納品でない"が導かれる
2. 推論1と事実1から、推論2: "この取り次ぎは納品であるがしかし近付き難くない"が導かれる
3. 推論2と事実13から、推論3: "この鏡面反射成分は赤黒くない"が導かれる
4. 推論3と事実2から、推論4: "その読み日響チケットセンターは押し易くて赤黒い"が導かれる
5. 推論4から、推論5: "その読み日響チケットセンターは赤黒い"が導かれる
6. 推論5と事実4から、推論6: "その角質は懐こい"が導かれる
7. 推論6と事実10から、推論7: "そのバッファローはフォートであるということはない"が導かれる
8. 事実12と事実9から、推論8: "「そのバッファローはあぶれるということはないけれど放卵する」ということは間違いである"が導かれる
9. 事実11と推論8から、推論9: "そのバッファローは取り結ぶ"が導かれる
10. 推論7と推論9から、仮説が否定される

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