このぽいぽちゅLv.9は悪しくない
fact1: このまにゅまやLv.68は死去するし打っ殺す fact2: 「罹患する」モンスターがいるとしたらこのぽいぽちゅLv.9は悪しくない fact3: もし仮になにがしかのモンスターが罹患するかもしくは隙間無いか両方ともであるとしたらこのぽいぽちゅLv.9は悪しくない fact4: 「このまにゅまやLv.68は打っ殺さない」ということは嘘であるとすればそのまちゃまなLv.75は隙間無い
fact1 -> int1: このまにゅまやLv.68は打っ殺す; int1 & fact4 -> int2: そのまちゃまなLv.75は隙間無い; int2 -> int3: そのまちゃまなLv.75は罹患するかあるいはそれは隙間無いか両方ともだ; int3 -> int4: 「罹患するかもしくは隙間無い」モンスターはいる; int4 & fact3 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{b}; int2 -> int3: ({D}{b} v {C}{b}); int3 -> int4: (Ex): ({D}x v {C}x); int4 & fact3 -> hypothesis;
$facts$ = fact1: このまにゅまやLv.68は死去するし打っ殺す fact2: 「罹患する」モンスターがいるとしたらこのぽいぽちゅLv.9は悪しくない fact3: もし仮になにがしかのモンスターが罹患するかもしくは隙間無いか両方ともであるとしたらこのぽいぽちゅLv.9は悪しくない fact4: 「このまにゅまやLv.68は打っ殺さない」ということは嘘であるとすればそのまちゃまなLv.75は隙間無い ; $hypothesis$ = このぽいぽちゅLv.9は悪しくない ; $proof$ = 
fact1 -> int1: このまにゅまやLv.68は打っ殺す; int1 & fact4 -> int2: そのまちゃまなLv.75は隙間無い; int2 -> int3: そのまちゃまなLv.75は罹患するかあるいはそれは隙間無いか両方ともだ; int3 -> int4: 「罹患するかもしくは隙間無い」モンスターはいる; int4 & fact3 -> hypothesis; __PROVED__
fact1 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{b}; int2 -> int3: ({D}{b} v {C}{b}); int3 -> int4: (Ex): ({D}x v {C}x); int4 & fact3 -> hypothesis; __PROVED__