「もしブランドらしいならば憎くない」モンスターはいる
fact1: あのぴねぴわLv.96は憎い fact2: もしそのぽちゅぽゆLv.80がブランドらしいとしたらそれは憎い fact3: そのぽちゅぽゆLv.80は出し難い fact4: そのぽちゅぽゆLv.80は憎い fact5: もしそのぽちゅぽゆLv.80が出し難くてブランドらしいとしたらそのぽちゅぽゆLv.80は憎くない fact6: もし仮に影響され易いモンスターがブランドらしいとすればそれは活動し易くない
void -> assump1: 以下のように仮定する。そのぽちゅぽゆLv.80はブランドらしい; fact3 & assump1 -> int1: そのぽちゅぽゆLv.80は出し難くておまけにブランドらしい; int1 & fact5 -> int2: そのぽちゅぽゆLv.80は憎くない; [assump1] & int2 -> int3: 仮にそのぽちゅぽゆLv.80がブランドらしいとしたら憎くない; int3 -> hypothesis;
void -> assump1: {B}{a}; fact3 & assump1 -> int1: ({A}{a} & {B}{a}); int1 & fact5 -> int2: ¬{C}{a}; [assump1] & int2 -> int3: {B}{a} -> ¬{C}{a}; int3 -> hypothesis;
そのぽちゅぽゆLv.80は影響され易くてブランドらしいなら活動し易くない
fact7 -> hypothesis;
$facts$ = fact1: あのぴねぴわLv.96は憎い fact2: もしそのぽちゅぽゆLv.80がブランドらしいとしたらそれは憎い fact3: そのぽちゅぽゆLv.80は出し難い fact4: そのぽちゅぽゆLv.80は憎い fact5: もしそのぽちゅぽゆLv.80が出し難くてブランドらしいとしたらそのぽちゅぽゆLv.80は憎くない fact6: もし仮に影響され易いモンスターがブランドらしいとすればそれは活動し易くない ; $hypothesis$ = 「もしブランドらしいならば憎くない」モンスターはいる ; $proof$ = 
void -> assump1: 以下のように仮定する。そのぽちゅぽゆLv.80はブランドらしい; fact3 & assump1 -> int1: そのぽちゅぽゆLv.80は出し難くておまけにブランドらしい; int1 & fact5 -> int2: そのぽちゅぽゆLv.80は憎くない; [assump1] & int2 -> int3: 仮にそのぽちゅぽゆLv.80がブランドらしいとしたら憎くない; int3 -> hypothesis; __PROVED__
void -> assump1: {B}{a}; fact3 & assump1 -> int1: ({A}{a} & {B}{a}); int1 & fact5 -> int2: ¬{C}{a}; [assump1] & int2 -> int3: {B}{a} -> ¬{C}{a}; int3 -> hypothesis; __PROVED__