そのぽよぽちょLv.62は捕らえ難くない
fact1: 仮にそのぷにぷわLv.58は済ま無くないとしたら「そのぽよぽちょLv.62は信じ難い」ということは成り立つ fact2: もしも「あるモンスターは倹しかないけれど予測し易い」ということは本当であるということはないとするとそれは捕らえ難くない fact3: もし「そのぽよぽちょLv.62は信じ難い」ということは確かだとすると「そのぽよぽちょLv.62は倹しかないけれど予測し易い」ということは嘘である fact4: そのぷにぷわLv.58は済ま無くない
fact1 & fact4 -> int1: そのぽよぽちょLv.62は信じ難い; int1 & fact3 -> int2: 「そのぽよぽちょLv.62は倹しかないけど予測し易い」ということは成り立たない; fact2 -> int3: 「そのぽよぽちょLv.62は倹しかないが予測し易い」ということは偽ならばそのぽよぽちょLv.62は捕らえ難くない; int2 & int3 -> hypothesis;
fact1 & fact4 -> int1: {B}{b}; int1 & fact3 -> int2: ¬(¬{D}{b} & {C}{b}); fact2 -> int3: ¬(¬{D}{b} & {C}{b}) -> ¬{E}{b}; int2 & int3 -> hypothesis;
$facts$ = fact1: 仮にそのぷにぷわLv.58は済ま無くないとしたら「そのぽよぽちょLv.62は信じ難い」ということは成り立つ fact2: もしも「あるモンスターは倹しかないけれど予測し易い」ということは本当であるということはないとするとそれは捕らえ難くない fact3: もし「そのぽよぽちょLv.62は信じ難い」ということは確かだとすると「そのぽよぽちょLv.62は倹しかないけれど予測し易い」ということは嘘である fact4: そのぷにぷわLv.58は済ま無くない ; $hypothesis$ = そのぽよぽちょLv.62は捕らえ難くない ; $proof$ = 
fact1 & fact4 -> int1: そのぽよぽちょLv.62は信じ難い; int1 & fact3 -> int2: 「そのぽよぽちょLv.62は倹しかないけど予測し易い」ということは成り立たない; fact2 -> int3: 「そのぽよぽちょLv.62は倹しかないが予測し易い」ということは偽ならばそのぽよぽちょLv.62は捕らえ難くない; int2 & int3 -> hypothesis; __PROVED__
fact1 & fact4 -> int1: {B}{b}; int1 & fact3 -> int2: ¬(¬{D}{b} & {C}{b}); fact2 -> int3: ¬(¬{D}{b} & {C}{b}) -> ¬{E}{b}; int2 & int3 -> hypothesis; __PROVED__