このぽえぽわLv.77は割れ易くない
fact1: 暑いモンスターは用心深くない fact2: 「大人らしいモンスターは割れ易くない」ということは成り立つ fact3: 「このぽえぽわLv.77は大人らしい」ということは確かだ fact4: 「そのぴわぴのLv.52は大人らしいということはない」ということは成り立つ fact5: 仮にそのぷにぷくLv.13が大人らしくないならばこのぽえぽわLv.77は割れ易い fact6: このぽえぽわLv.77は厚ぼったい fact7: このぴやぴゆLv.63は割れ易くない
fact2 -> int1: もしこのぽえぽわLv.77が大人らしいとしたらこのぽえぽわLv.77は割れ易くない; int1 & fact3 -> hypothesis;
fact2 -> int1: {A}{aa} -> ¬{C}{aa}; int1 & fact3 -> hypothesis;
このぽえぽわLv.77は割れ易い
$facts$ = fact1: 暑いモンスターは用心深くない fact2: 「大人らしいモンスターは割れ易くない」ということは成り立つ fact3: 「このぽえぽわLv.77は大人らしい」ということは確かだ fact4: 「そのぴわぴのLv.52は大人らしいということはない」ということは成り立つ fact5: 仮にそのぷにぷくLv.13が大人らしくないならばこのぽえぽわLv.77は割れ易い fact6: このぽえぽわLv.77は厚ぼったい fact7: このぴやぴゆLv.63は割れ易くない ; $hypothesis$ = このぽえぽわLv.77は割れ易くない ; $proof$ = 
fact2 -> int1: もしこのぽえぽわLv.77が大人らしいとしたらこのぽえぽわLv.77は割れ易くない; int1 & fact3 -> hypothesis; __PROVED__
fact2 -> int1: {A}{aa} -> ¬{C}{aa}; int1 & fact3 -> hypothesis; __PROVED__