このぽくぽねLv.15は覚めるしそれに男っぽい
fact1: 「このぽくぽねLv.15は男っぽい」ということは成り立つ fact2: このぽくぽねLv.15は掴み易い fact3: もしとあるモンスターは掴み易くないとすれば「それは覚めるしまた男っぽい」ということは誤りである fact4: 「このぽくぽねLv.15は掴み易い」ということは正しいなら覚める
fact4 & fact2 -> int1: このぽくぽねLv.15は覚める; int1 & fact1 -> hypothesis;
fact4 & fact2 -> int1: {B}{a}; int1 & fact1 -> hypothesis;
「このぽくぽねLv.15は覚めるし男っぽい」ということは成り立たない
fact5 -> int2: 仮にこのぽくぽねLv.15は掴み易くないとすると「このぽくぽねLv.15は覚めるし加えて男っぽい」ということは偽だ;
$facts$ = fact1: 「このぽくぽねLv.15は男っぽい」ということは成り立つ fact2: このぽくぽねLv.15は掴み易い fact3: もしとあるモンスターは掴み易くないとすれば「それは覚めるしまた男っぽい」ということは誤りである fact4: 「このぽくぽねLv.15は掴み易い」ということは正しいなら覚める ; $hypothesis$ = このぽくぽねLv.15は覚めるしそれに男っぽい ; $proof$ = 
fact4 & fact2 -> int1: このぽくぽねLv.15は覚める; int1 & fact1 -> hypothesis; __PROVED__
fact4 & fact2 -> int1: {B}{a}; int1 & fact1 -> hypothesis; __PROVED__