あのぴいぴいLv.87は気まずくない
fact1: 忠実忠実しいということはないモンスターは退色し易くないかあるいは貫き通さないかまたは両方である fact2: 全てのモンスターは忠実忠実しかない fact3: あのぴいぴいLv.87が退色し易くないかまたは貫き通さないかあるいは両方であるとすると「あのぴいぴいLv.87は気まずい」ということは成り立つ
fact1 -> int1: もしあのぴいぴいLv.87が忠実忠実しいということはないならばあのぴいぴいLv.87は退色し易くないか貫き通さないかあるいは両方ともである; fact2 -> int2: 「あのぴいぴいLv.87は忠実忠実しかない」ということは事実だ; int1 & int2 -> int3: あのぴいぴいLv.87は退色し易くないかまたは貫き通さないかあるいは両方である; int3 & fact3 -> hypothesis;
fact1 -> int1: ¬{A}{aa} -> (¬{AA}{aa} v ¬{AB}{aa}); fact2 -> int2: ¬{A}{aa}; int1 & int2 -> int3: (¬{AA}{aa} v ¬{AB}{aa}); int3 & fact3 -> hypothesis;
$facts$ = fact1: 忠実忠実しいということはないモンスターは退色し易くないかあるいは貫き通さないかまたは両方である fact2: 全てのモンスターは忠実忠実しかない fact3: あのぴいぴいLv.87が退色し易くないかまたは貫き通さないかあるいは両方であるとすると「あのぴいぴいLv.87は気まずい」ということは成り立つ ; $hypothesis$ = あのぴいぴいLv.87は気まずくない ; $proof$ = 
fact1 -> int1: もしあのぴいぴいLv.87が忠実忠実しいということはないならばあのぴいぴいLv.87は退色し易くないか貫き通さないかあるいは両方ともである; fact2 -> int2: 「あのぴいぴいLv.87は忠実忠実しかない」ということは事実だ; int1 & int2 -> int3: あのぴいぴいLv.87は退色し易くないかまたは貫き通さないかあるいは両方である; int3 & fact3 -> hypothesis; __DISPROVED__
fact1 -> int1: ¬{A}{aa} -> (¬{AA}{aa} v ¬{AB}{aa}); fact2 -> int2: ¬{A}{aa}; int1 & int2 -> int3: (¬{AA}{aa} v ¬{AB}{aa}); int3 & fact3 -> hypothesis; __DISPROVED__