「そのみなみにょLv.3は気付き易くないけれど間近い」ということは誤りだ
fact1: 仮に気付き易くないモンスターが間近いとすると聞き易くない fact2: そのみなみにょLv.3は聞き易い
fact1 -> int1: もしもそのみなみにょLv.3が気付き易くないけど間近いとすればそのみなみにょLv.3は聞き易いということはない; void -> assump1: 以下のように仮定する。そのみなみにょLv.3は気付き易くないけれど間近い; int1 & assump1 -> int2: 「そのみなみにょLv.3は聞き易くない」ということは確かだ; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
fact1 -> int1: (¬{AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; void -> assump1: (¬{AA}{aa} & {AB}{aa}); int1 & assump1 -> int2: ¬{B}{aa}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis;
$facts$ = fact1: 仮に気付き易くないモンスターが間近いとすると聞き易くない fact2: そのみなみにょLv.3は聞き易い ; $hypothesis$ = 「そのみなみにょLv.3は気付き易くないけれど間近い」ということは誤りだ ; $proof$ = 
fact1 -> int1: もしもそのみなみにょLv.3が気付き易くないけど間近いとすればそのみなみにょLv.3は聞き易いということはない; void -> assump1: 以下のように仮定する。そのみなみにょLv.3は気付き易くないけれど間近い; int1 & assump1 -> int2: 「そのみなみにょLv.3は聞き易くない」ということは確かだ; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
fact1 -> int1: (¬{AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; void -> assump1: (¬{AA}{aa} & {AB}{aa}); int1 & assump1 -> int2: ¬{B}{aa}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__