あのぷやぷにょLv.80はノミネートしない
fact1: 仮にあのまにゃまくLv.72が歯痒いとするとあのぷやぷにょLv.80は居辛くないかもしくはそれは黒しということはない fact2: あのぷやぷにょLv.80が居辛くないかまたは黒しないならばあのぷやぷにょLv.80はノミネートする fact3: あのまにゃまくLv.72は歯痒い fact4: あのまにゃまくLv.72は歯痒くないか黒しということはない fact5: もし仮に「とあるモンスターはノミネートするけど付載しない」ということは成り立たないとしたら「ノミネートしない」ということは成り立つ
fact1 & fact3 -> int1: 「あのぷやぷにょLv.80は居辛くないかあるいは黒しないかあるいは両方だ」ということは事実だ; int1 & fact2 -> hypothesis;
fact1 & fact3 -> int1: (¬{AA}{b} v ¬{AB}{b}); int1 & fact2 -> hypothesis;
あのぷやぷにょLv.80はノミネートしない
fact6 -> int2: 「あのまにゃまくLv.72はノミネートするが付載しない」ということは成り立たないならそれはノミネートしない;
$facts$ = fact1: 仮にあのまにゃまくLv.72が歯痒いとするとあのぷやぷにょLv.80は居辛くないかもしくはそれは黒しということはない fact2: あのぷやぷにょLv.80が居辛くないかまたは黒しないならばあのぷやぷにょLv.80はノミネートする fact3: あのまにゃまくLv.72は歯痒い fact4: あのまにゃまくLv.72は歯痒くないか黒しということはない fact5: もし仮に「とあるモンスターはノミネートするけど付載しない」ということは成り立たないとしたら「ノミネートしない」ということは成り立つ ; $hypothesis$ = あのぷやぷにょLv.80はノミネートしない ; $proof$ = 
fact1 & fact3 -> int1: 「あのぷやぷにょLv.80は居辛くないかあるいは黒しないかあるいは両方だ」ということは事実だ; int1 & fact2 -> hypothesis; __DISPROVED__
fact1 & fact3 -> int1: (¬{AA}{b} v ¬{AB}{b}); int1 & fact2 -> hypothesis; __DISPROVED__