そのテキサス・レンジャーズは伝え難い
fact1: もし仮に「そのテキサス・レンジャーズは転送先であるがしかし誤解し易くない」ということは成り立たないとすればそれは伝え難い fact2: もしも「あの白河殿は転送先でない」ということは確かならば「そのテキサス・レンジャーズは若い一方でポストスクリプトプリンタでない」ということは誤りである fact3: あの白河殿は転送先でない fact4: 仮にあの白河殿はシール材であるとすると「そのテキサス・レンジャーズは転送先であるけれど誤解し易いということはない」ということは成り立たない fact5: なんらかのものが若くないとすると伝え難くない fact6: もし仮に「何らかのものは若いがポストスクリプトプリンタでない」ということは成り立たないならばそれは伝え難くない fact7: この操舵は若くない
fact2 & fact3 -> int1: 「そのテキサス・レンジャーズは若いけれどポストスクリプトプリンタでない」ということは誤っている; fact6 -> int2: 「もしも「そのテキサス・レンジャーズは若い一方でポストスクリプトプリンタでない」ということは嘘であるならそのテキサス・レンジャーズは伝え難くない」ということは成り立つ; int1 & int2 -> hypothesis;
そのテキサス・レンジャーズは伝え難い
$facts$ = fact1: もし仮に「そのテキサス・レンジャーズは転送先であるがしかし誤解し易くない」ということは成り立たないとすればそれは伝え難い fact2: もしも「あの白河殿は転送先でない」ということは確かならば「そのテキサス・レンジャーズは若い一方でポストスクリプトプリンタでない」ということは誤りである fact3: あの白河殿は転送先でない fact4: 仮にあの白河殿はシール材であるとすると「そのテキサス・レンジャーズは転送先であるけれど誤解し易いということはない」ということは成り立たない fact5: なんらかのものが若くないとすると伝え難くない fact6: もし仮に「何らかのものは若いがポストスクリプトプリンタでない」ということは成り立たないならばそれは伝え難くない fact7: この操舵は若くない ; $hypothesis$ = そのテキサス・レンジャーズは伝え難い ; $proof$ = 
fact2 & fact3 -> int1: 「そのテキサス・レンジャーズは若いけれどポストスクリプトプリンタでない」ということは誤っている; fact6 -> int2: 「もしも「そのテキサス・レンジャーズは若い一方でポストスクリプトプリンタでない」ということは嘘であるならそのテキサス・レンジャーズは伝え難くない」ということは成り立つ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし仮に「そのテキサス・レンジャーズは転送先であるがしかし誤解し易くない」ということは成り立たないとすればそれは伝え難い
事実2: もしも「あの白河殿は転送先でない」ということは確かならば「そのテキサス・レンジャーズは若い一方でポストスクリプトプリンタでない」ということは誤りである
事実3: あの白河殿は転送先でない
事実4: 仮にあの白河殿はシール材であるとすると「そのテキサス・レンジャーズは転送先であるけれど誤解し易いということはない」ということは成り立たない
事実5: なんらかのものが若くないとすると伝え難くない
事実6: もし仮に「何らかのものは若いがポストスクリプトプリンタでない」ということは成り立たないならばそれは伝え難くない
事実7: この操舵は若くない

仮説: そのテキサス・レンジャーズは伝え難い
1. 事実2と事実3から、推論1: "「そのテキサス・レンジャーズは若いけれどポストスクリプトプリンタでない」ということは誤っている"が導かれる
2. 事実6から、推論2: "「もしも「そのテキサス・レンジャーズは若い一方でポストスクリプトプリンタでない」ということは嘘であるならそのテキサス・レンジャーズは伝え難くない」ということは成り立つ"が導かれる
3. 推論1と推論2から、仮説が否定される

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