あのぽいぽにゅLv.34は黒っぽくない
fact1: もしもなんらかのモンスターが非難がましいとすると緩み易いということはないし合わせ辛くない fact2: あのぽいぽにゅLv.34は非難がましい fact3: このぷちょぷにょLv.6は非難がましい fact4: 「あのぽちゃぽえLv.21は非難がましい」ということは事実だ fact5: あのぽいぽにゅLv.34は遠い fact6: あのぽいぽにゅLv.34は緩み易くなくてかつ合わせ辛くないならばそれは黒っぽい
fact1 -> int1: もしもあのぽいぽにゅLv.34が非難がましいならば緩み易くないしさらにそれは合わせ辛いということはない; int1 & fact2 -> int2: あのぽいぽにゅLv.34は緩み易くなくて更に合わせ辛いということはない; int2 & fact6 -> hypothesis;
fact1 -> int1: {A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); int1 & fact2 -> int2: (¬{AA}{aa} & ¬{AB}{aa}); int2 & fact6 -> hypothesis;
$facts$ = fact1: もしもなんらかのモンスターが非難がましいとすると緩み易いということはないし合わせ辛くない fact2: あのぽいぽにゅLv.34は非難がましい fact3: このぷちょぷにょLv.6は非難がましい fact4: 「あのぽちゃぽえLv.21は非難がましい」ということは事実だ fact5: あのぽいぽにゅLv.34は遠い fact6: あのぽいぽにゅLv.34は緩み易くなくてかつ合わせ辛くないならばそれは黒っぽい ; $hypothesis$ = あのぽいぽにゅLv.34は黒っぽくない ; $proof$ = 
fact1 -> int1: もしもあのぽいぽにゅLv.34が非難がましいならば緩み易くないしさらにそれは合わせ辛いということはない; int1 & fact2 -> int2: あのぽいぽにゅLv.34は緩み易くなくて更に合わせ辛いということはない; int2 & fact6 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); int1 & fact2 -> int2: (¬{AA}{aa} & ¬{AB}{aa}); int2 & fact6 -> hypothesis; __DISPROVED__