このみえみえLv.62は考え深い
fact1: 壊れ易くないモンスターは田舎っぽい fact2: このみえみえLv.62は人間らしくないかまたは無声化し易くないかもしくはどちらもだ fact3: もし何らかのモンスターが険しくないとすると考え深くない fact4: 「険しくないかあるいは考え深いということはないモンスターは人間らしい」ということは成り立つ fact5: 仮にこのみえみえLv.62が険しいとするとこのみえみえLv.62は考え深い fact6: 仮にこのみえみえLv.62が人間らしくないとすればこのみえみえLv.62は険しい fact7: 労労じモンスターは険しくない fact8: もし仮になにがしかのモンスターは人間らしくないか無声化し易くないかまたは両方ともだとすると険しい
fact8 -> int1: もし仮に「このみえみえLv.62は人間らしくないか無声化し易くない」ということは成り立つなら「険しい」ということは確かである; int1 & fact2 -> int2: このみえみえLv.62は険しい; int2 & fact5 -> hypothesis;
fact8 -> int1: (¬{AA}{aa} v ¬{AB}{aa}) -> {B}{aa}; int1 & fact2 -> int2: {B}{aa}; int2 & fact5 -> hypothesis;
このみえみえLv.62は考え深くない
fact10 -> int3: このみえみえLv.62が険しくないならこのみえみえLv.62は考え深くない; fact9 -> int4: もし仮に「このみえみえLv.62は労労じ」ということは事実だとすればこのみえみえLv.62は険しくない;
$facts$ = fact1: 壊れ易くないモンスターは田舎っぽい fact2: このみえみえLv.62は人間らしくないかまたは無声化し易くないかもしくはどちらもだ fact3: もし何らかのモンスターが険しくないとすると考え深くない fact4: 「険しくないかあるいは考え深いということはないモンスターは人間らしい」ということは成り立つ fact5: 仮にこのみえみえLv.62が険しいとするとこのみえみえLv.62は考え深い fact6: 仮にこのみえみえLv.62が人間らしくないとすればこのみえみえLv.62は険しい fact7: 労労じモンスターは険しくない fact8: もし仮になにがしかのモンスターは人間らしくないか無声化し易くないかまたは両方ともだとすると険しい ; $hypothesis$ = このみえみえLv.62は考え深い ; $proof$ = 
fact8 -> int1: もし仮に「このみえみえLv.62は人間らしくないか無声化し易くない」ということは成り立つなら「険しい」ということは確かである; int1 & fact2 -> int2: このみえみえLv.62は険しい; int2 & fact5 -> hypothesis; __PROVED__
fact8 -> int1: (¬{AA}{aa} v ¬{AB}{aa}) -> {B}{aa}; int1 & fact2 -> int2: {B}{aa}; int2 & fact5 -> hypothesis; __PROVED__