このぴわぴにょLv.29は酷くない
fact1: 仮に「「狭い」ということは正しい」モンスターがいればあのぴよぴちゃLv.19は痛ーい fact2: もしこのぴわぴにょLv.29が冗談ぽくないとしたらこのぴわぴにょLv.29は酷いということはない fact3: 「狭い」モンスターはいる fact4: もしあのぴよぴちゃLv.19が行き易いしその上余所余所しいとすればこのぴわぴにょLv.29は冗談ぽくない fact5: もし「狭い」モンスターがいればあのぴよぴちゃLv.19は痛ーいししかも行き易い fact6: もしこのもにゃもなLv.79が錆無いしまた冗談ぽいとするとあのぴよぴちゃLv.19は余所余所しかない fact7: 痛ーくないモンスターは酷いか狭いかまたは両方ともである fact8: あのぴよぴちゃLv.19は痛ーい fact9: あのぴよぴちゃLv.19は余所余所しい
fact3 & fact5 -> int1: あのぴよぴちゃLv.19は痛ーいしそれにそれは行き易い; int1 -> int2: あのぴよぴちゃLv.19は行き易い; int2 & fact9 -> int3: あのぴよぴちゃLv.19は行き易くてそれは余所余所しい; int3 & fact4 -> int4: このぴわぴにょLv.29は冗談ぽくない; int4 & fact2 -> hypothesis;
fact3 & fact5 -> int1: ({B}{a} & {C}{a}); int1 -> int2: {C}{a}; int2 & fact9 -> int3: ({C}{a} & {D}{a}); int3 & fact4 -> int4: ¬{E}{b}; int4 & fact2 -> hypothesis;
このぴわぴにょLv.29は酷い
fact10 -> int5: もしもあのぴよぴちゃLv.19が痛ーくないならば酷いかそれは狭い;
$facts$ = fact1: 仮に「「狭い」ということは正しい」モンスターがいればあのぴよぴちゃLv.19は痛ーい fact2: もしこのぴわぴにょLv.29が冗談ぽくないとしたらこのぴわぴにょLv.29は酷いということはない fact3: 「狭い」モンスターはいる fact4: もしあのぴよぴちゃLv.19が行き易いしその上余所余所しいとすればこのぴわぴにょLv.29は冗談ぽくない fact5: もし「狭い」モンスターがいればあのぴよぴちゃLv.19は痛ーいししかも行き易い fact6: もしこのもにゃもなLv.79が錆無いしまた冗談ぽいとするとあのぴよぴちゃLv.19は余所余所しかない fact7: 痛ーくないモンスターは酷いか狭いかまたは両方ともである fact8: あのぴよぴちゃLv.19は痛ーい fact9: あのぴよぴちゃLv.19は余所余所しい ; $hypothesis$ = このぴわぴにょLv.29は酷くない ; $proof$ = 
fact3 & fact5 -> int1: あのぴよぴちゃLv.19は痛ーいしそれにそれは行き易い; int1 -> int2: あのぴよぴちゃLv.19は行き易い; int2 & fact9 -> int3: あのぴよぴちゃLv.19は行き易くてそれは余所余所しい; int3 & fact4 -> int4: このぴわぴにょLv.29は冗談ぽくない; int4 & fact2 -> hypothesis; __PROVED__
fact3 & fact5 -> int1: ({B}{a} & {C}{a}); int1 -> int2: {C}{a}; int2 & fact9 -> int3: ({C}{a} & {D}{a}); int3 & fact4 -> int4: ¬{E}{b}; int4 & fact2 -> hypothesis; __PROVED__