「このステーは浅ましし噴火口だ」ということは事実と異なる
fact1: あの言葉掛けは浅まし fact2: あの春雨は吉川経家だということはない fact3: もしこの公序良俗は希釈するかあるいは知り合いらしいかどちらもならば「あの言葉掛けは吉川経家でない」ということは事実である fact4: 「このステーは噴火口だ」ということは成り立つ fact5: あの言葉掛けが現代国際法だしそれは痛い fact6: もし仮に「このＯＢ会は躍進するということはない」ということは真実であるとするとこの公序良俗は希釈するかまたは吉川経家である fact7: 仮にあの言葉掛けは現代国際法でないなら「このステーは浅ましし更にそれは噴火口だ」ということは事実と異なる fact8: もしもとある物が躍進するけれど吉川経家でないとすれば知り合いらしくない fact9: もし仮にこのＯＢ会が恙無くないかもしくはそれは希釈するかあるいは両方ともだとしたらそれは躍進する fact10: あの言葉掛けは吉川経家であるかあるいは痛いかもしくはどちらもである fact11: 仮に「この公序良俗は解熱するし吉川経家だ」ということは成り立たないとしたらこのＯＢ会は吉川経家でない fact12: もし仮にこの公序良俗が希釈すればこのステーは浅まし fact13: もしこのステーが希釈しないならばこの公序良俗は噴火口であるかあるいはそれは吉川経家である fact14: このステーは吉川経家だ fact15: あの言葉掛けは痛くて加えて浅まし fact16: あの言葉掛けは痛くて噴火口だ fact17: あの言葉掛けは痛い fact18: この一事は躍進する fact19: もしあの言葉掛けが知り合いらしいかあるいはそれが現代国際法であるかもしくは両方ともだとするとこのＯＢ会は躍進しない fact20: もしもこの公序良俗が噴火口であるとすればあのステーは希釈する fact21: もし仮にあの言葉掛けが知り合いらしいとしたらこのＯＢ会は躍進するということはない fact22: 「この公序良俗は解熱するしその上吉川経家だ」ということは誤っている fact23: 「仮にこの公序良俗が吉川経家だとすればあのステーは浅まし」ということは成り立つ fact24: あの言葉掛けは浅ましか痛いかまたは両方だ fact25: この四輪車は恙無くてまたそれは希釈する fact26: もしこのＯＢ会が希釈するとすればあの公序良俗は躍進する
fact5 -> int1: 「あの言葉掛けは現代国際法である」ということは誤りでない; int1 -> int2: 「あの言葉掛けは知り合いらしいかもしくは現代国際法である」ということは成り立つ; int2 & fact19 -> int3: このＯＢ会は躍進しない; int3 & fact6 -> int4: この公序良俗は希釈するか吉川経家だ; int4 & fact12 & fact23 -> int5: このステーは浅まし; int5 & fact4 -> hypothesis;
「このステーは浅ましし噴火口である」ということは成り立つということはない
fact31 -> int6: 仮にこのＯＢ会は躍進する一方で吉川経家でないとするとそれは知り合いらしくない; fact30 & fact28 -> int7: このＯＢ会は吉川経家でない;
$facts$ = fact1: あの言葉掛けは浅まし fact2: あの春雨は吉川経家だということはない fact3: もしこの公序良俗は希釈するかあるいは知り合いらしいかどちらもならば「あの言葉掛けは吉川経家でない」ということは事実である fact4: 「このステーは噴火口だ」ということは成り立つ fact5: あの言葉掛けが現代国際法だしそれは痛い fact6: もし仮に「このＯＢ会は躍進するということはない」ということは真実であるとするとこの公序良俗は希釈するかまたは吉川経家である fact7: 仮にあの言葉掛けは現代国際法でないなら「このステーは浅ましし更にそれは噴火口だ」ということは事実と異なる fact8: もしもとある物が躍進するけれど吉川経家でないとすれば知り合いらしくない fact9: もし仮にこのＯＢ会が恙無くないかもしくはそれは希釈するかあるいは両方ともだとしたらそれは躍進する fact10: あの言葉掛けは吉川経家であるかあるいは痛いかもしくはどちらもである fact11: 仮に「この公序良俗は解熱するし吉川経家だ」ということは成り立たないとしたらこのＯＢ会は吉川経家でない fact12: もし仮にこの公序良俗が希釈すればこのステーは浅まし fact13: もしこのステーが希釈しないならばこの公序良俗は噴火口であるかあるいはそれは吉川経家である fact14: このステーは吉川経家だ fact15: あの言葉掛けは痛くて加えて浅まし fact16: あの言葉掛けは痛くて噴火口だ fact17: あの言葉掛けは痛い fact18: この一事は躍進する fact19: もしあの言葉掛けが知り合いらしいかあるいはそれが現代国際法であるかもしくは両方ともだとするとこのＯＢ会は躍進しない fact20: もしもこの公序良俗が噴火口であるとすればあのステーは希釈する fact21: もし仮にあの言葉掛けが知り合いらしいとしたらこのＯＢ会は躍進するということはない fact22: 「この公序良俗は解熱するしその上吉川経家だ」ということは誤っている fact23: 「仮にこの公序良俗が吉川経家だとすればあのステーは浅まし」ということは成り立つ fact24: あの言葉掛けは浅ましか痛いかまたは両方だ fact25: この四輪車は恙無くてまたそれは希釈する fact26: もしこのＯＢ会が希釈するとすればあの公序良俗は躍進する ; $hypothesis$ = 「このステーは浅ましし噴火口だ」ということは事実と異なる ; $proof$ = 
fact5 -> int1: 「あの言葉掛けは現代国際法である」ということは誤りでない; int1 -> int2: 「あの言葉掛けは知り合いらしいかもしくは現代国際法である」ということは成り立つ; int2 & fact19 -> int3: このＯＢ会は躍進しない; int3 & fact6 -> int4: この公序良俗は希釈するか吉川経家だ; int4 & fact12 & fact23 -> int5: このステーは浅まし; int5 & fact4 -> hypothesis; __DISPROVED__
事実1: あの言葉掛けは浅まし
事実2: あの春雨は吉川経家だということはない
事実3: もしこの公序良俗は希釈するかあるいは知り合いらしいかどちらもならば「あの言葉掛けは吉川経家でない」ということは事実である
事実4: 「このステーは噴火口だ」ということは成り立つ
事実5: あの言葉掛けが現代国際法だしそれは痛い
事実6: もし仮に「このＯＢ会は躍進するということはない」ということは真実であるとするとこの公序良俗は希釈するかまたは吉川経家である
事実7: 仮にあの言葉掛けは現代国際法でないなら「このステーは浅ましし更にそれは噴火口だ」ということは事実と異なる
事実8: もしもとある物が躍進するけれど吉川経家でないとすれば知り合いらしくない
事実9: もし仮にこのＯＢ会が恙無くないかもしくはそれは希釈するかあるいは両方ともだとしたらそれは躍進する
事実10: あの言葉掛けは吉川経家であるかあるいは痛いかもしくはどちらもである
事実11: 仮に「この公序良俗は解熱するし吉川経家だ」ということは成り立たないとしたらこのＯＢ会は吉川経家でない
事実12: もし仮にこの公序良俗が希釈すればこのステーは浅まし
事実13: もしこのステーが希釈しないならばこの公序良俗は噴火口であるかあるいはそれは吉川経家である
事実14: このステーは吉川経家だ
事実15: あの言葉掛けは痛くて加えて浅まし
事実16: あの言葉掛けは痛くて噴火口だ
事実17: あの言葉掛けは痛い
事実18: この一事は躍進する
事実19: もしあの言葉掛けが知り合いらしいかあるいはそれが現代国際法であるかもしくは両方ともだとするとこのＯＢ会は躍進しない
事実20: もしもこの公序良俗が噴火口であるとすればあのステーは希釈する
事実21: もし仮にあの言葉掛けが知り合いらしいとしたらこのＯＢ会は躍進するということはない
事実22: 「この公序良俗は解熱するしその上吉川経家だ」ということは誤っている
事実23: 「仮にこの公序良俗が吉川経家だとすればあのステーは浅まし」ということは成り立つ
事実24: あの言葉掛けは浅ましか痛いかまたは両方だ
事実25: この四輪車は恙無くてまたそれは希釈する
事実26: もしこのＯＢ会が希釈するとすればあの公序良俗は躍進する

仮説: 「このステーは浅ましし噴火口だ」ということは事実と異なる
1. 事実5から、推論1: "「あの言葉掛けは現代国際法である」ということは誤りでない"が導かれる
2. 推論1から、推論2: "「あの言葉掛けは知り合いらしいかもしくは現代国際法である」ということは成り立つ"が導かれる
3. 推論2と事実19から、推論3: "このＯＢ会は躍進しない"が導かれる
4. 推論3と事実6から、推論4: "この公序良俗は希釈するか吉川経家だ"が導かれる
5. 推論4と事実12と事実23から、推論5: "このステーは浅まし"が導かれる
6. 推論5と事実4から、仮説が否定される

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