以下のように仮定する。あのみちょみくLv.11は小憎らしい
fact1: あのみちょみくLv.11は気高し fact2: もし仮にあのみちょみくLv.11は小憎らしいししかも暗いならば気高しない fact3: もし仮にこのぽにぽねLv.46が暗いならばあのみちょみくLv.11は小憎らしい
以下のように仮定する。あのみちょみくLv.11は小憎らしい
$facts$ = fact1: あのみちょみくLv.11は気高し fact2: もし仮にあのみちょみくLv.11は小憎らしいししかも暗いならば気高しない fact3: もし仮にこのぽにぽねLv.46が暗いならばあのみちょみくLv.11は小憎らしい ; $hypothesis$ = 以下のように仮定する。あのみちょみくLv.11は小憎らしい ; $proof$ = 
__UNKNOWN__
__UNKNOWN__