「このみゆみちゃLv.12は睦まじいということはなくてそれに手強いということはない」ということは成り立たない
fact1: もしもあのぴねぴねLv.80が捕らわれ易くないかあるいは証言しないか両方であるとしたらこのみにみにゃLv.1は睦まじくない fact2: すべてのモンスターは捕らわれ易くないか証言するということはないかまたはどちらもである fact3: もし仮にこのみにみにゃLv.1が睦まじくないとするとこのみゆみちゃLv.12は睦まじくないし手強くない fact4: もし仮に「あのぴねぴねLv.80は捕らわれ易くない」ということは本当だとしたらこのみにみにゃLv.1は睦まじくない
fact2 -> int1: あのぴねぴねLv.80は捕らわれ易くないかもしくはそれは証言しない; int1 & fact1 -> int2: このみにみにゃLv.1は睦まじいということはない; int2 & fact3 -> hypothesis;
fact2 -> int1: (¬{A}{aa} v ¬{B}{aa}); int1 & fact1 -> int2: ¬{C}{a}; int2 & fact3 -> hypothesis;
$facts$ = fact1: もしもあのぴねぴねLv.80が捕らわれ易くないかあるいは証言しないか両方であるとしたらこのみにみにゃLv.1は睦まじくない fact2: すべてのモンスターは捕らわれ易くないか証言するということはないかまたはどちらもである fact3: もし仮にこのみにみにゃLv.1が睦まじくないとするとこのみゆみちゃLv.12は睦まじくないし手強くない fact4: もし仮に「あのぴねぴねLv.80は捕らわれ易くない」ということは本当だとしたらこのみにみにゃLv.1は睦まじくない ; $hypothesis$ = 「このみゆみちゃLv.12は睦まじいということはなくてそれに手強いということはない」ということは成り立たない ; $proof$ = 
fact2 -> int1: あのぴねぴねLv.80は捕らわれ易くないかもしくはそれは証言しない; int1 & fact1 -> int2: このみにみにゃLv.1は睦まじいということはない; int2 & fact3 -> hypothesis; __DISPROVED__
fact2 -> int1: (¬{A}{aa} v ¬{B}{aa}); int1 & fact1 -> int2: ¬{C}{a}; int2 & fact3 -> hypothesis; __DISPROVED__