このぴゆぴえLv.85は眩い
fact1: もし「なにがしかのモンスターは様良しということはないけど荒々しい」ということは嘘だとすればそれは荒々しいということはない fact2: 全てのモンスターは眩い
fact2 -> int1: 全てのモンスターは眩い; int1 -> hypothesis;
fact2 -> int1: (x): {A}x; int1 -> hypothesis;
すべてのモンスターは共鳴し易い
fact3 -> int2: もし仮に「このぴゆぴえLv.85は様良くないがしかし荒々しい」ということは成り立たないとすればこのぴゆぴえLv.85は荒々しいということはない;
$facts$ = fact1: もし「なにがしかのモンスターは様良しということはないけど荒々しい」ということは嘘だとすればそれは荒々しいということはない fact2: 全てのモンスターは眩い ; $hypothesis$ = このぴゆぴえLv.85は眩い ; $proof$ = 
fact2 -> int1: 全てのモンスターは眩い; int1 -> hypothesis; __PROVED__
fact2 -> int1: (x): {A}x; int1 -> hypothesis; __PROVED__