その旅客は真っ黒くない
fact1: 「その旅客は真っ黒いかまたはそれは論戦であるかまたは両方だ」ということは誤りならばそれは奈良漬けである fact2: その旅客は論戦である fact3: その旅客は奈良漬けだということはない fact4: もし「この切除手術は引き出し易くないかもしくは論戦であるかもしくは両方ともである」ということは誤っていればそれは論評する fact5: 「この切除手術は引き出し易くないかあるいは論戦であるかまたは両方だ」ということは成り立つということはない fact6: 「この御じんぎは真っ黒くない」ということは成り立つ fact7: 「この切除手術は引き出し易くないかあるいは奈良漬けである」ということは間違いだとしたら論戦だ fact8: その旅客は論戦であるなら「この切除手術は真っ黒い」ということは誤っている fact9: この切除手術は論評するとしたら「その旅客は真っ黒いがしかし奈良漬けであるということはない」ということは成り立つ fact10: この切除手術は厳めしい一方で鼓でない fact11: 「この切除手術は乾き易くない」ということは事実である fact12: このヨーロッパ全体は論戦だ fact13: 仮にその旅客が真っ黒いとしたらこの切除手術は奈良漬けだ一方で論戦でない fact14: その旅客は掛け易い
fact4 & fact5 -> int1: この切除手術は論評する; int1 & fact9 -> int2: 「その旅客は真っ黒いけど奈良漬けであるということはない」ということは成り立つ; int2 -> hypothesis;
fact4 & fact5 -> int1: {B}{a}; int1 & fact9 -> int2: ({A}{b} & ¬{C}{b}); int2 -> hypothesis;
$facts$ = fact1: 「その旅客は真っ黒いかまたはそれは論戦であるかまたは両方だ」ということは誤りならばそれは奈良漬けである fact2: その旅客は論戦である fact3: その旅客は奈良漬けだということはない fact4: もし「この切除手術は引き出し易くないかもしくは論戦であるかもしくは両方ともである」ということは誤っていればそれは論評する fact5: 「この切除手術は引き出し易くないかあるいは論戦であるかまたは両方だ」ということは成り立つということはない fact6: 「この御じんぎは真っ黒くない」ということは成り立つ fact7: 「この切除手術は引き出し易くないかあるいは奈良漬けである」ということは間違いだとしたら論戦だ fact8: その旅客は論戦であるなら「この切除手術は真っ黒い」ということは誤っている fact9: この切除手術は論評するとしたら「その旅客は真っ黒いがしかし奈良漬けであるということはない」ということは成り立つ fact10: この切除手術は厳めしい一方で鼓でない fact11: 「この切除手術は乾き易くない」ということは事実である fact12: このヨーロッパ全体は論戦だ fact13: 仮にその旅客が真っ黒いとしたらこの切除手術は奈良漬けだ一方で論戦でない fact14: その旅客は掛け易い ; $hypothesis$ = その旅客は真っ黒くない ; $proof$ = 
fact4 & fact5 -> int1: この切除手術は論評する; int1 & fact9 -> int2: 「その旅客は真っ黒いけど奈良漬けであるということはない」ということは成り立つ; int2 -> hypothesis; __DISPROVED__
事実1: 「その旅客は真っ黒いかまたはそれは論戦であるかまたは両方だ」ということは誤りならばそれは奈良漬けである
事実2: その旅客は論戦である
事実3: その旅客は奈良漬けだということはない
事実4: もし「この切除手術は引き出し易くないかもしくは論戦であるかもしくは両方ともである」ということは誤っていればそれは論評する
事実5: 「この切除手術は引き出し易くないかあるいは論戦であるかまたは両方だ」ということは成り立つということはない
事実6: 「この御じんぎは真っ黒くない」ということは成り立つ
事実7: 「この切除手術は引き出し易くないかあるいは奈良漬けである」ということは間違いだとしたら論戦だ
事実8: その旅客は論戦であるなら「この切除手術は真っ黒い」ということは誤っている
事実9: この切除手術は論評するとしたら「その旅客は真っ黒いがしかし奈良漬けであるということはない」ということは成り立つ
事実10: この切除手術は厳めしい一方で鼓でない
事実11: 「この切除手術は乾き易くない」ということは事実である
事実12: このヨーロッパ全体は論戦だ
事実13: 仮にその旅客が真っ黒いとしたらこの切除手術は奈良漬けだ一方で論戦でない
事実14: その旅客は掛け易い

仮説: その旅客は真っ黒くない
1. 事実4と事実5から、推論1: "この切除手術は論評する"が導かれる
2. 推論1と事実9から、推論2: "「その旅客は真っ黒いけど奈良漬けであるということはない」ということは成り立つ"が導かれる
3. 推論2から、仮説が否定される

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