「「もし仮に三菱化でないとすれば「餓鬼っぽいしかつ免許皆伝でない」ということは誤りな」ものはある」ということは成り立たない
fact1: 「あのチェックインは公費負担でない」ということは真実であるとすると「それは脂肪肉腫で更に気持ち良い」ということは確かでない fact2: なんらかの物は三菱化だということはないならば「それは餓鬼っぽいけれど免許皆伝でない」ということは嘘だ fact3: もし「この時空は苦闘しない」ということは正しいとしたらそれが保管方法だしそれにそれは餓鬼っぽくない fact4: 仮に何らかのものは三菱化だとしたら「それは餓鬼っぽいけれど免許皆伝でない」ということは偽だ
fact2 -> int1: もし仮にこの時空は三菱化でないならば「それは餓鬼っぽい一方で免許皆伝でない」ということは誤りである; int1 -> hypothesis;
$facts$ = fact1: 「あのチェックインは公費負担でない」ということは真実であるとすると「それは脂肪肉腫で更に気持ち良い」ということは確かでない fact2: なんらかの物は三菱化だということはないならば「それは餓鬼っぽいけれど免許皆伝でない」ということは嘘だ fact3: もし「この時空は苦闘しない」ということは正しいとしたらそれが保管方法だしそれにそれは餓鬼っぽくない fact4: 仮に何らかのものは三菱化だとしたら「それは餓鬼っぽいけれど免許皆伝でない」ということは偽だ ; $hypothesis$ = 「「もし仮に三菱化でないとすれば「餓鬼っぽいしかつ免許皆伝でない」ということは誤りな」ものはある」ということは成り立たない ; $proof$ = 
fact2 -> int1: もし仮にこの時空は三菱化でないならば「それは餓鬼っぽい一方で免許皆伝でない」ということは誤りである; int1 -> hypothesis; __DISPROVED__
事実1: 「あのチェックインは公費負担でない」ということは真実であるとすると「それは脂肪肉腫で更に気持ち良い」ということは確かでない
事実2: なんらかの物は三菱化だということはないならば「それは餓鬼っぽいけれど免許皆伝でない」ということは嘘だ
事実3: もし「この時空は苦闘しない」ということは正しいとしたらそれが保管方法だしそれにそれは餓鬼っぽくない
事実4: 仮に何らかのものは三菱化だとしたら「それは餓鬼っぽいけれど免許皆伝でない」ということは偽だ

仮説: 「「もし仮に三菱化でないとすれば「餓鬼っぽいしかつ免許皆伝でない」ということは誤りな」ものはある」ということは成り立たない
1. 事実2から、推論1: "もし仮にこの時空は三菱化でないならば「それは餓鬼っぽい一方で免許皆伝でない」ということは誤りである"が導かれる
2. 推論1から、仮説が否定される

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