このぷよぷちょLv.27はさ迷い込まない
fact1: そのぽにゅぽちょLv.88は真っ黒くないとすれば「そのぽにゅぽちょLv.88は洒落臭くないけれど白っぽい」ということは成り立たない fact2: そのもなもにょLv.50が大活躍するとすればそれは茶色くない fact3: 「なんらかのモンスターは洒落臭いしさ迷い込む」ということは誤っているとすれば洒落臭くない fact4: そのもなもにょLv.50は大活躍する fact5: そのもなもにょLv.50は洒落臭い fact6: 仮にそのもなもにょLv.50が茶色くないが洒落臭いならこのぷよぷちょLv.27はさ迷い込まない
fact2 & fact4 -> int1: そのもなもにょLv.50は茶色いということはない; int1 & fact5 -> int2: そのもなもにょLv.50は茶色くないけれど洒落臭い; int2 & fact6 -> hypothesis;
fact2 & fact4 -> int1: ¬{B}{a}; int1 & fact5 -> int2: (¬{B}{a} & {C}{a}); int2 & fact6 -> hypothesis;
そのみちゅみちょLv.98は大活躍する
fact7 -> int3: もしも「そのみちゅみちょLv.98は洒落臭いしそれにさ迷い込む」ということは間違いであるとすると洒落臭いということはない;
$facts$ = fact1: そのぽにゅぽちょLv.88は真っ黒くないとすれば「そのぽにゅぽちょLv.88は洒落臭くないけれど白っぽい」ということは成り立たない fact2: そのもなもにょLv.50が大活躍するとすればそれは茶色くない fact3: 「なんらかのモンスターは洒落臭いしさ迷い込む」ということは誤っているとすれば洒落臭くない fact4: そのもなもにょLv.50は大活躍する fact5: そのもなもにょLv.50は洒落臭い fact6: 仮にそのもなもにょLv.50が茶色くないが洒落臭いならこのぷよぷちょLv.27はさ迷い込まない ; $hypothesis$ = このぷよぷちょLv.27はさ迷い込まない ; $proof$ = 
fact2 & fact4 -> int1: そのもなもにょLv.50は茶色いということはない; int1 & fact5 -> int2: そのもなもにょLv.50は茶色くないけれど洒落臭い; int2 & fact6 -> hypothesis; __PROVED__
fact2 & fact4 -> int1: ¬{B}{a}; int1 & fact5 -> int2: (¬{B}{a} & {C}{a}); int2 & fact6 -> hypothesis; __PROVED__