あの非鉄金属は潜航するということはない
fact1: 「「この教育リーグはオピオイド鎮痛薬であるが割り付けない」ということは正しい」ということは間違っている fact2: 「この教育リーグは社会奉仕でない」ということは成り立つとしたらその予防・改善は社会奉仕でない fact3: もしも「その予防・改善はＩＣＵであるし社会奉仕である」ということは真実であるならあの非鉄金属は愛し fact4: 愛しものは潜航する fact5: この予想以上は般若波羅蜜多であるかまたはそれは板書である fact6: もしこの予想以上が般若波羅蜜多であるかそれが板書でないとすればこの寝癖はオピオイド鎮痛薬でない fact7: 板書は受動喫煙防止措置であるかあるいは応募するということはないかもしくは両方ともだ fact8: あるものが板書だとすればそれは応募する一方で潜航しない fact9: 「なにがしかのものはオピオイド鎮痛薬でないし割り付けるということはない」ということは確かでないとしたら「社会奉仕だ」ということは誤りである fact10: あの代謝阻害は応募しない fact11: 「この教育リーグはオピオイド鎮痛薬でないけど割り付ける」ということは誤っている fact12: 「もし仮にこの寝癖はオピオイド鎮痛薬でないとしたら「この教育リーグはオピオイド鎮痛薬でないがしかし割り付ける」ということは成り立たない」ということは事実である fact13: 仮に「この寝癖はオピオイド鎮痛薬でない」ということは真実であるとすれば「この教育リーグはオピオイド鎮痛薬であるけどそれは割り付けない」ということは成り立たない fact14: もしもこの教育リーグが社会奉仕でないならばあの予防・改善はＩＣＵだけれど社会奉仕でない fact15: あの代謝阻害はＩＣＵでない fact16: 仮にその予防・改善がＩＣＵであるがしかし社会奉仕でないとするとあの非鉄金属は愛し fact17: 仮にこの寝癖はオピオイド鎮痛薬でないなら「この教育リーグはオピオイド鎮痛薬でないし割り付けない」ということは成り立たない fact18: あの代謝阻害が応募しないとするとこの予想以上は板書でない fact19: そのコパは応募しない
fact18 & fact10 -> int1: この予想以上は板書でない; int1 -> int2: この予想以上は般若波羅蜜多であるかもしくは板書であるということはない; int2 & fact6 -> int3: この寝癖はオピオイド鎮痛薬でない; int3 & fact17 -> int4: 「この教育リーグはオピオイド鎮痛薬であるということはなくて更に割り付けない」ということは誤りである; fact9 -> int5: もし「この教育リーグはオピオイド鎮痛薬でないし割り付けるということはない」ということは間違いだとするとそれは社会奉仕でない; int4 & int5 -> int6: この教育リーグは社会奉仕であるということはない; int6 & fact14 -> int7: その予防・改善はＩＣＵであるけれど社会奉仕でない; int7 & fact16 -> int8: 「あの非鉄金属は愛し」ということは事実である; fact4 -> int9: 仮にあの非鉄金属は愛しならば「それは潜航する」ということは事実だ; int8 & int9 -> hypothesis;
あの非鉄金属は潜航しない
fact20 -> int10: あの非鉄金属が板書だとしたら応募するしそれは潜航しない;
$facts$ = fact1: 「「この教育リーグはオピオイド鎮痛薬であるが割り付けない」ということは正しい」ということは間違っている fact2: 「この教育リーグは社会奉仕でない」ということは成り立つとしたらその予防・改善は社会奉仕でない fact3: もしも「その予防・改善はＩＣＵであるし社会奉仕である」ということは真実であるならあの非鉄金属は愛し fact4: 愛しものは潜航する fact5: この予想以上は般若波羅蜜多であるかまたはそれは板書である fact6: もしこの予想以上が般若波羅蜜多であるかそれが板書でないとすればこの寝癖はオピオイド鎮痛薬でない fact7: 板書は受動喫煙防止措置であるかあるいは応募するということはないかもしくは両方ともだ fact8: あるものが板書だとすればそれは応募する一方で潜航しない fact9: 「なにがしかのものはオピオイド鎮痛薬でないし割り付けるということはない」ということは確かでないとしたら「社会奉仕だ」ということは誤りである fact10: あの代謝阻害は応募しない fact11: 「この教育リーグはオピオイド鎮痛薬でないけど割り付ける」ということは誤っている fact12: 「もし仮にこの寝癖はオピオイド鎮痛薬でないとしたら「この教育リーグはオピオイド鎮痛薬でないがしかし割り付ける」ということは成り立たない」ということは事実である fact13: 仮に「この寝癖はオピオイド鎮痛薬でない」ということは真実であるとすれば「この教育リーグはオピオイド鎮痛薬であるけどそれは割り付けない」ということは成り立たない fact14: もしもこの教育リーグが社会奉仕でないならばあの予防・改善はＩＣＵだけれど社会奉仕でない fact15: あの代謝阻害はＩＣＵでない fact16: 仮にその予防・改善がＩＣＵであるがしかし社会奉仕でないとするとあの非鉄金属は愛し fact17: 仮にこの寝癖はオピオイド鎮痛薬でないなら「この教育リーグはオピオイド鎮痛薬でないし割り付けない」ということは成り立たない fact18: あの代謝阻害が応募しないとするとこの予想以上は板書でない fact19: そのコパは応募しない ; $hypothesis$ = あの非鉄金属は潜航するということはない ; $proof$ = 
fact18 & fact10 -> int1: この予想以上は板書でない; int1 -> int2: この予想以上は般若波羅蜜多であるかもしくは板書であるということはない; int2 & fact6 -> int3: この寝癖はオピオイド鎮痛薬でない; int3 & fact17 -> int4: 「この教育リーグはオピオイド鎮痛薬であるということはなくて更に割り付けない」ということは誤りである; fact9 -> int5: もし「この教育リーグはオピオイド鎮痛薬でないし割り付けるということはない」ということは間違いだとするとそれは社会奉仕でない; int4 & int5 -> int6: この教育リーグは社会奉仕であるということはない; int6 & fact14 -> int7: その予防・改善はＩＣＵであるけれど社会奉仕でない; int7 & fact16 -> int8: 「あの非鉄金属は愛し」ということは事実である; fact4 -> int9: 仮にあの非鉄金属は愛しならば「それは潜航する」ということは事実だ; int8 & int9 -> hypothesis; __DISPROVED__
事実1: 「「この教育リーグはオピオイド鎮痛薬であるが割り付けない」ということは正しい」ということは間違っている
事実2: 「この教育リーグは社会奉仕でない」ということは成り立つとしたらその予防・改善は社会奉仕でない
事実3: もしも「その予防・改善はＩＣＵであるし社会奉仕である」ということは真実であるならあの非鉄金属は愛し
事実4: 愛しものは潜航する
事実5: この予想以上は般若波羅蜜多であるかまたはそれは板書である
事実6: もしこの予想以上が般若波羅蜜多であるかそれが板書でないとすればこの寝癖はオピオイド鎮痛薬でない
事実7: 板書は受動喫煙防止措置であるかあるいは応募するということはないかもしくは両方ともだ
事実8: あるものが板書だとすればそれは応募する一方で潜航しない
事実9: 「なにがしかのものはオピオイド鎮痛薬でないし割り付けるということはない」ということは確かでないとしたら「社会奉仕だ」ということは誤りである
事実10: あの代謝阻害は応募しない
事実11: 「この教育リーグはオピオイド鎮痛薬でないけど割り付ける」ということは誤っている
事実12: 「もし仮にこの寝癖はオピオイド鎮痛薬でないとしたら「この教育リーグはオピオイド鎮痛薬でないがしかし割り付ける」ということは成り立たない」ということは事実である
事実13: 仮に「この寝癖はオピオイド鎮痛薬でない」ということは真実であるとすれば「この教育リーグはオピオイド鎮痛薬であるけどそれは割り付けない」ということは成り立たない
事実14: もしもこの教育リーグが社会奉仕でないならばあの予防・改善はＩＣＵだけれど社会奉仕でない
事実15: あの代謝阻害はＩＣＵでない
事実16: 仮にその予防・改善がＩＣＵであるがしかし社会奉仕でないとするとあの非鉄金属は愛し
事実17: 仮にこの寝癖はオピオイド鎮痛薬でないなら「この教育リーグはオピオイド鎮痛薬でないし割り付けない」ということは成り立たない
事実18: あの代謝阻害が応募しないとするとこの予想以上は板書でない
事実19: そのコパは応募しない

仮説: あの非鉄金属は潜航するということはない
1. 事実18と事実10から、推論1: "この予想以上は板書でない"が導かれる
2. 推論1から、推論2: "この予想以上は般若波羅蜜多であるかもしくは板書であるということはない"が導かれる
3. 推論2と事実6から、推論3: "この寝癖はオピオイド鎮痛薬でない"が導かれる
4. 推論3と事実17から、推論4: "「この教育リーグはオピオイド鎮痛薬であるということはなくて更に割り付けない」ということは誤りである"が導かれる
5. 事実9から、推論5: "もし「この教育リーグはオピオイド鎮痛薬でないし割り付けるということはない」ということは間違いだとするとそれは社会奉仕でない"が導かれる
6. 推論4と推論5から、推論6: "この教育リーグは社会奉仕であるということはない"が導かれる
7. 推論6と事実14から、推論7: "その予防・改善はＩＣＵであるけれど社会奉仕でない"が導かれる
8. 推論7と事実16から、推論8: "「あの非鉄金属は愛し」ということは事実である"が導かれる
9. 事実4から、推論9: "仮にあの非鉄金属は愛しならば「それは潜航する」ということは事実だ"が導かれる
10. 推論8と推論9から、仮説が否定される

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