「その気管内はジョンシクでないがしかしルームナンバーだ」ということは成り立たない
fact1: もし「何らかのものは野山でないかまたは折れ易くないかもしくは両方だ」ということは間違っているならそれは浸出だ fact2: もしもその一声は働くとしたら「その気管内はジョンシクでないけれどルームナンバーだ」ということは偽である fact3: もし仮に何らかのものが働かないとすればそれは掛くし浸出だ fact4: あの懇談会は野山である fact5: それは合い過ぎないかまたは水産高校でないかどちらもであるという物はない fact6: すべては野山だ fact7: このＭＲＩ検査が掛くならその一声は働く fact8: もし仮にその一声は働くとすれば「その気管内がジョンシクだしかつそれはルームナンバーである」ということは偽だ fact9: 仮にあの懇談会が浸出であるとしたらこのＭＲＩ検査は掛く fact10: 野山でないかまたは折れ易くないかまたは両方ともだというものはない
fact10 -> int1: 「あの懇談会は野山でないかあるいは折れ易くないかまたはどちらもだ」ということは誤っている; fact1 -> int2: もし仮に「あの懇談会は野山でないかあるいはそれは折れ易くない」ということは嘘だとしたらそれは浸出だ; int1 & int2 -> int3: あの懇談会は浸出である; int3 & fact9 -> int4: このＭＲＩ検査は掛く; int4 & fact7 -> int5: その一声は働く; int5 & fact2 -> hypothesis;
その気管内はジョンシクでない一方でルームナンバーである
fact11 -> int6: もしこのＭＲＩ検査が働くということはないとすれば掛くしそれは浸出である;
$facts$ = fact1: もし「何らかのものは野山でないかまたは折れ易くないかもしくは両方だ」ということは間違っているならそれは浸出だ fact2: もしもその一声は働くとしたら「その気管内はジョンシクでないけれどルームナンバーだ」ということは偽である fact3: もし仮に何らかのものが働かないとすればそれは掛くし浸出だ fact4: あの懇談会は野山である fact5: それは合い過ぎないかまたは水産高校でないかどちらもであるという物はない fact6: すべては野山だ fact7: このＭＲＩ検査が掛くならその一声は働く fact8: もし仮にその一声は働くとすれば「その気管内がジョンシクだしかつそれはルームナンバーである」ということは偽だ fact9: 仮にあの懇談会が浸出であるとしたらこのＭＲＩ検査は掛く fact10: 野山でないかまたは折れ易くないかまたは両方ともだというものはない ; $hypothesis$ = 「その気管内はジョンシクでないがしかしルームナンバーだ」ということは成り立たない ; $proof$ = 
fact10 -> int1: 「あの懇談会は野山でないかあるいは折れ易くないかまたはどちらもだ」ということは誤っている; fact1 -> int2: もし仮に「あの懇談会は野山でないかあるいはそれは折れ易くない」ということは嘘だとしたらそれは浸出だ; int1 & int2 -> int3: あの懇談会は浸出である; int3 & fact9 -> int4: このＭＲＩ検査は掛く; int4 & fact7 -> int5: その一声は働く; int5 & fact2 -> hypothesis; __PROVED__
事実1: もし「何らかのものは野山でないかまたは折れ易くないかもしくは両方だ」ということは間違っているならそれは浸出だ
事実2: もしもその一声は働くとしたら「その気管内はジョンシクでないけれどルームナンバーだ」ということは偽である
事実3: もし仮に何らかのものが働かないとすればそれは掛くし浸出だ
事実4: あの懇談会は野山である
事実5: それは合い過ぎないかまたは水産高校でないかどちらもであるという物はない
事実6: すべては野山だ
事実7: このＭＲＩ検査が掛くならその一声は働く
事実8: もし仮にその一声は働くとすれば「その気管内がジョンシクだしかつそれはルームナンバーである」ということは偽だ
事実9: 仮にあの懇談会が浸出であるとしたらこのＭＲＩ検査は掛く
事実10: 野山でないかまたは折れ易くないかまたは両方ともだというものはない

仮説: 「その気管内はジョンシクでないがしかしルームナンバーだ」ということは成り立たない
1. 事実10から、推論1: "「あの懇談会は野山でないかあるいは折れ易くないかまたはどちらもだ」ということは誤っている"が導かれる
2. 事実1から、推論2: "もし仮に「あの懇談会は野山でないかあるいはそれは折れ易くない」ということは嘘だとしたらそれは浸出だ"が導かれる
3. 推論1と推論2から、推論3: "あの懇談会は浸出である"が導かれる
4. 推論3と事実9から、推論4: "このＭＲＩ検査は掛く"が導かれる
5. 推論4と事実7から、推論5: "その一声は働く"が導かれる
6. 推論5と事実2から、仮説が導かれる

よって、仮説が証明されました。