その九図は退団しない
fact1: このシンパは退団する fact2: 何らかの物が退団するということはないかまたは混ぜっ返さないかまたはどちらもであるならばこの復習は遭遇する fact3: その調達先は遭遇するかあるいはにやけないかもしくは両方ともである fact4: 「もし仮にこの復習は混ぜっ返すとすると「その九図は退団する」ということは確かだ」ということは偽でない fact5: なにがしかの物はにやけないかそれは混ぜっ返すということはないかもしくはどちらもである fact6: もし仮に「にやけない」ものがあるとすればその調達先は退団する fact7: もし「なにかは遭遇しないかまたはにやけないかもしくは両方だ」ということは成り立つとしたらこの復習は混ぜっ返す fact8: なにがしかのものはにやけるか混ぜっ返さないか両方ともである fact9: もしこの復習はにやけるとしたら「その調達先は混ぜっ返す」ということは本当だ fact10: その調達先は遭遇しないかもしくはそれは混ぜっ返す fact11: その調達先は遭遇しないかにやけないか両方ともだ
fact11 -> int1: 何らかの物は遭遇しないかもしくはにやけるということはないかもしくは両方である; int1 & fact7 -> int2: 「この復習は混ぜっ返す」ということは真実だ; int2 & fact4 -> hypothesis;
fact11 -> int1: (Ex): (¬{A}x v ¬{B}x); int1 & fact7 -> int2: {C}{a}; int2 & fact4 -> hypothesis;
$facts$ = fact1: このシンパは退団する fact2: 何らかの物が退団するということはないかまたは混ぜっ返さないかまたはどちらもであるならばこの復習は遭遇する fact3: その調達先は遭遇するかあるいはにやけないかもしくは両方ともである fact4: 「もし仮にこの復習は混ぜっ返すとすると「その九図は退団する」ということは確かだ」ということは偽でない fact5: なにがしかの物はにやけないかそれは混ぜっ返すということはないかもしくはどちらもである fact6: もし仮に「にやけない」ものがあるとすればその調達先は退団する fact7: もし「なにかは遭遇しないかまたはにやけないかもしくは両方だ」ということは成り立つとしたらこの復習は混ぜっ返す fact8: なにがしかのものはにやけるか混ぜっ返さないか両方ともである fact9: もしこの復習はにやけるとしたら「その調達先は混ぜっ返す」ということは本当だ fact10: その調達先は遭遇しないかもしくはそれは混ぜっ返す fact11: その調達先は遭遇しないかにやけないか両方ともだ ; $hypothesis$ = その九図は退団しない ; $proof$ = 
fact11 -> int1: 何らかの物は遭遇しないかもしくはにやけるということはないかもしくは両方である; int1 & fact7 -> int2: 「この復習は混ぜっ返す」ということは真実だ; int2 & fact4 -> hypothesis; __DISPROVED__
事実1: このシンパは退団する
事実2: 何らかの物が退団するということはないかまたは混ぜっ返さないかまたはどちらもであるならばこの復習は遭遇する
事実3: その調達先は遭遇するかあるいはにやけないかもしくは両方ともである
事実4: 「もし仮にこの復習は混ぜっ返すとすると「その九図は退団する」ということは確かだ」ということは偽でない
事実5: なにがしかの物はにやけないかそれは混ぜっ返すということはないかもしくはどちらもである
事実6: もし仮に「にやけない」ものがあるとすればその調達先は退団する
事実7: もし「なにかは遭遇しないかまたはにやけないかもしくは両方だ」ということは成り立つとしたらこの復習は混ぜっ返す
事実8: なにがしかのものはにやけるか混ぜっ返さないか両方ともである
事実9: もしこの復習はにやけるとしたら「その調達先は混ぜっ返す」ということは本当だ
事実10: その調達先は遭遇しないかもしくはそれは混ぜっ返す
事実11: その調達先は遭遇しないかにやけないか両方ともだ

仮説: その九図は退団しない
1. 事実11から、推論1: "何らかの物は遭遇しないかもしくはにやけるということはないかもしくは両方である"が導かれる
2. 推論1と事実7から、推論2: "「この復習は混ぜっ返す」ということは真実だ"が導かれる
3. 推論2と事実4から、仮説が否定される

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