このぴねぴわLv.16は麗し
fact1: もし仮にこのぴねぴわLv.16がちっこいならば麗し fact2: このぴやぴくLv.18は頓挫しない fact3: もしもこのぴやぴくLv.18が信じ易くておまけに頓挫するとしたらあのぽいぽゆLv.80は長ったらしい fact4: 「このぴやぴくLv.18は雄々しい」ということは成り立つとすればそれは頓挫しない fact5: もしもこのぴやぴくLv.18は信じ易いがしかし頓挫しないとすれば「あのぽいぽゆLv.80は長ったらしい」ということは偽でない fact6: 雄々しいモンスターは信じ易いが頓挫しない fact7: 「このぷなぷよLv.90が麗し一方でそれがちっこくないとしたらあのぽいぽゆLv.80は麗しない」ということは本当だ fact8: 「このぴやぴくLv.18は雄々しい」ということは本当だ fact9: もしあのぽいぽゆLv.80が長ったらしいとすればこのぴねぴわLv.16はちっこい fact10: 雄々しいモンスターは頓挫しない
fact6 -> int1: 仮に「このぴやぴくLv.18は雄々しい」ということは事実だとしたらこのぴやぴくLv.18は信じ易いが頓挫しない; int1 & fact8 -> int2: このぴやぴくLv.18は信じ易いけど頓挫しない; int2 & fact5 -> int3: あのぽいぽゆLv.80は長ったらしい; int3 & fact9 -> int4: このぴねぴわLv.16はちっこい; int4 & fact1 -> hypothesis;
fact6 -> int1: {A}{aa} -> ({AA}{aa} & ¬{AB}{aa}); int1 & fact8 -> int2: ({AA}{aa} & ¬{AB}{aa}); int2 & fact5 -> int3: {B}{a}; int3 & fact9 -> int4: {C}{b}; int4 & fact1 -> hypothesis;
「このぴねぴわLv.16は麗しない」ということは成り立つ
$facts$ = fact1: もし仮にこのぴねぴわLv.16がちっこいならば麗し fact2: このぴやぴくLv.18は頓挫しない fact3: もしもこのぴやぴくLv.18が信じ易くておまけに頓挫するとしたらあのぽいぽゆLv.80は長ったらしい fact4: 「このぴやぴくLv.18は雄々しい」ということは成り立つとすればそれは頓挫しない fact5: もしもこのぴやぴくLv.18は信じ易いがしかし頓挫しないとすれば「あのぽいぽゆLv.80は長ったらしい」ということは偽でない fact6: 雄々しいモンスターは信じ易いが頓挫しない fact7: 「このぷなぷよLv.90が麗し一方でそれがちっこくないとしたらあのぽいぽゆLv.80は麗しない」ということは本当だ fact8: 「このぴやぴくLv.18は雄々しい」ということは本当だ fact9: もしあのぽいぽゆLv.80が長ったらしいとすればこのぴねぴわLv.16はちっこい fact10: 雄々しいモンスターは頓挫しない ; $hypothesis$ = このぴねぴわLv.16は麗し ; $proof$ = 
fact6 -> int1: 仮に「このぴやぴくLv.18は雄々しい」ということは事実だとしたらこのぴやぴくLv.18は信じ易いが頓挫しない; int1 & fact8 -> int2: このぴやぴくLv.18は信じ易いけど頓挫しない; int2 & fact5 -> int3: あのぽいぽゆLv.80は長ったらしい; int3 & fact9 -> int4: このぴねぴわLv.16はちっこい; int4 & fact1 -> hypothesis; __PROVED__
fact6 -> int1: {A}{aa} -> ({AA}{aa} & ¬{AB}{aa}); int1 & fact8 -> int2: ({AA}{aa} & ¬{AB}{aa}); int2 & fact5 -> int3: {B}{a}; int3 & fact9 -> int4: {C}{b}; int4 & fact1 -> hypothesis; __PROVED__