あの調剤は小便しないし掴み難いということはない
fact1: その心筋酸素需要は掴み難くないなら「あの調剤は小便しない一方で掴み難い」ということは成り立たない fact2: 「あの調剤は小便しないけれど掴み難い」ということは成り立たない fact3: もしも「その心筋酸素需要は掴み難くない」ということは本当であるならば「あの調剤は小便するけれど掴み難くない」ということは間違っている fact4: もしあの歌人が観察し易いとしたらその各乗員組合は帰途である fact5: 「あの調剤は小便するけれど掴み難くない」ということは嘘である fact6: あの歌人は観察し易いし後らしい fact7: その各乗員組合は帰途であるかあるいはそれは滞り易い fact8: あのパージター家は観察し易い fact9: その各乗員組合が帰途であるかまたは滞り易くないかもしくはどちらもだとしたらその心筋酸素需要は掴み難くない fact10: もしその心筋酸素需要は掴み難くないなら「あの調剤は小便しなくてその上掴み難くない」ということは間違っている fact11: あの歌人は後らしい fact12: もしもその各乗員組合が滞り易くないとしたらその心筋酸素需要は掴み難くない
fact6 -> int1: あの歌人は観察し易い; int1 & fact4 -> int2: その各乗員組合は帰途だ; int2 -> int3: その各乗員組合は帰途であるかあるいはそれは滞り易くないか両方である; int3 & fact9 -> int4: その心筋酸素需要は掴み難いということはない; int4 & fact10 -> hypothesis;
$facts$ = fact1: その心筋酸素需要は掴み難くないなら「あの調剤は小便しない一方で掴み難い」ということは成り立たない fact2: 「あの調剤は小便しないけれど掴み難い」ということは成り立たない fact3: もしも「その心筋酸素需要は掴み難くない」ということは本当であるならば「あの調剤は小便するけれど掴み難くない」ということは間違っている fact4: もしあの歌人が観察し易いとしたらその各乗員組合は帰途である fact5: 「あの調剤は小便するけれど掴み難くない」ということは嘘である fact6: あの歌人は観察し易いし後らしい fact7: その各乗員組合は帰途であるかあるいはそれは滞り易い fact8: あのパージター家は観察し易い fact9: その各乗員組合が帰途であるかまたは滞り易くないかもしくはどちらもだとしたらその心筋酸素需要は掴み難くない fact10: もしその心筋酸素需要は掴み難くないなら「あの調剤は小便しなくてその上掴み難くない」ということは間違っている fact11: あの歌人は後らしい fact12: もしもその各乗員組合が滞り易くないとしたらその心筋酸素需要は掴み難くない ; $hypothesis$ = あの調剤は小便しないし掴み難いということはない ; $proof$ = 
fact6 -> int1: あの歌人は観察し易い; int1 & fact4 -> int2: その各乗員組合は帰途だ; int2 -> int3: その各乗員組合は帰途であるかあるいはそれは滞り易くないか両方である; int3 & fact9 -> int4: その心筋酸素需要は掴み難いということはない; int4 & fact10 -> hypothesis; __DISPROVED__
事実1: その心筋酸素需要は掴み難くないなら「あの調剤は小便しない一方で掴み難い」ということは成り立たない
事実2: 「あの調剤は小便しないけれど掴み難い」ということは成り立たない
事実3: もしも「その心筋酸素需要は掴み難くない」ということは本当であるならば「あの調剤は小便するけれど掴み難くない」ということは間違っている
事実4: もしあの歌人が観察し易いとしたらその各乗員組合は帰途である
事実5: 「あの調剤は小便するけれど掴み難くない」ということは嘘である
事実6: あの歌人は観察し易いし後らしい
事実7: その各乗員組合は帰途であるかあるいはそれは滞り易い
事実8: あのパージター家は観察し易い
事実9: その各乗員組合が帰途であるかまたは滞り易くないかもしくはどちらもだとしたらその心筋酸素需要は掴み難くない
事実10: もしその心筋酸素需要は掴み難くないなら「あの調剤は小便しなくてその上掴み難くない」ということは間違っている
事実11: あの歌人は後らしい
事実12: もしもその各乗員組合が滞り易くないとしたらその心筋酸素需要は掴み難くない

仮説: あの調剤は小便しないし掴み難いということはない
1. 事実6から、推論1: "あの歌人は観察し易い"が導かれる
2. 推論1と事実4から、推論2: "その各乗員組合は帰途だ"が導かれる
3. 推論2から、推論3: "その各乗員組合は帰途であるかあるいはそれは滞り易くないか両方である"が導かれる
4. 推論3と事実9から、推論4: "その心筋酸素需要は掴み難いということはない"が導かれる
5. 推論4と事実10から、仮説が否定される

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