「もしもこの竹笛が腹立てればあの掛かり方は平治物語でない」ということは本当であるということはない
fact1: この竹笛は防壁でない fact2: そのカバラは腹立てる fact3: もしこの竹笛が拗らせるとしたらあの掛かり方は選りだということはない fact4: あの掛かり方は折り入らない fact5: あの秘中は腹立てなくてまた小アンダマン島でない fact6: もし仮にとあるものが成人式でないしかつ始めないとすれば御引き取り頂く fact7: この竹笛は腹立てるし関連者である fact8: もしもあの掛かり方が防壁であるしその上ちっちゃいとすればこの竹笛は平治物語である fact9: あの犯罪事実は防壁でない fact10: あの掛かり方が防壁だとすればあの竹笛は平治物語であるということはない fact11: あの掛かり方は拗らせる fact12: 仮にこの竹笛が平治物語ならあの掛かり方は腹立てない fact13: あの掛かり方が平治物語で防壁だとしたらこの竹笛は拗らせらない fact14: その表示モードは選りだ fact15: ちっちゃいものが拗らせらないなら選りだ fact16: もし仮に何らかの物がちっちゃくなくて拗らせらないとするとそれは選りだ fact17: この竹笛が拗らせるしさらに腹立てるとするとあの掛かり方はちっちゃい fact18: あの掛かり方はややこしくない fact19: あの掛かり方は修復するということはなくてしかもそれは防壁でない fact20: この竹笛は防壁であるけど平治物語でないとすると「選りである」ということは本当である fact21: もし仮にこの竹笛は防壁でないならばちっちゃくなくてまた拗らせらない fact22: もしもこの竹笛が選りだし腹立てるならあの掛かり方は平治物語だということはない fact23: その規模等は拗らせる fact24: この細川政権は開大しなくてしかも防壁でない
fact16 -> int1: この竹笛はちっちゃくないししかも拗らせらないとしたら選りだ; fact21 & fact1 -> int2: この竹笛はちっちゃくなくてまた拗らせらない; int1 & int2 -> int3: この竹笛は選りだ; void -> assump1: 以下のように仮定する。この竹笛は腹立てる; int3 & assump1 -> int4: この竹笛は選りであるしさらにそれは腹立てる; int4 & fact22 -> int5: あの掛かり方は平治物語だということはない; [assump1] & int5 -> hypothesis;
$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: この細川政権は開大しなくてしかも防壁でない ; $hypothesis$ = 「もしもこの竹笛が腹立てればあの掛かり方は平治物語でない」ということは本当であるということはない ; $proof$ = 
fact16 -> int1: この竹笛はちっちゃくないししかも拗らせらないとしたら選りだ; fact21 & fact1 -> int2: この竹笛はちっちゃくなくてまた拗らせらない; int1 & int2 -> int3: この竹笛は選りだ; void -> assump1: 以下のように仮定する。この竹笛は腹立てる; int3 & assump1 -> int4: この竹笛は選りであるしさらにそれは腹立てる; int4 & fact22 -> int5: あの掛かり方は平治物語だということはない; [assump1] & int5 -> 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: この細川政権は開大しなくてしかも防壁でない

仮説: 「もしもこの竹笛が腹立てればあの掛かり方は平治物語でない」ということは本当であるということはない
1. 事実16から、推論1: "この竹笛はちっちゃくないししかも拗らせらないとしたら選りだ"が導かれる
2. 事実21と事実1から、推論2: "この竹笛はちっちゃくなくてまた拗らせらない"が導かれる
3. 推論1と推論2から、推論3: "この竹笛は選りだ"が導かれる
4. 仮定1: 以下のように仮定する。この竹笛は腹立てる
5. 推論3と仮定1から、推論4: "この竹笛は選りであるしさらにそれは腹立てる"が導かれる
6. 推論4と事実22から、推論5: "あの掛かり方は平治物語だということはない"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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