「そのみなみにょLv.81はつれないけれど微笑ましくない」ということは間違っている
fact1: 懐かしくないモンスターはつれないけど微笑ましいということはない fact2: そのみなみにょLv.81は嫌味っぽい
以下のように仮定する。そのみなみにょLv.81はつれないけど微笑ましくない
fact3 -> int1: もしもあのもよもやLv.15が懐かしくないとするとあのもよもやLv.15はつれない一方で微笑ましくない;
$facts$ = fact1: 懐かしくないモンスターはつれないけど微笑ましいということはない fact2: そのみなみにょLv.81は嫌味っぽい ; $hypothesis$ = 「そのみなみにょLv.81はつれないけれど微笑ましくない」ということは間違っている ; $proof$ = 
__UNKNOWN__
__UNKNOWN__