「「もし興奮し易いということはないとしたら攻撃し易いということはないしさらに得難くない」モンスターはいる」ということは偽である
fact1: 興奮し易くないモンスターは攻撃し易くないし得難くない fact2: 「仮に慣れ過ぎないとすれば青ししおまけに見付け難くない」モンスターはいる fact3: 興奮し易いということはないモンスターは得難くない
fact1 -> int1: もしあのぴなぴちゅLv.75が興奮し易くないとしたらあのぴなぴちゅLv.75は攻撃し易くなくてその上得難くない; int1 -> hypothesis;
fact1 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: 興奮し易くないモンスターは攻撃し易くないし得難くない fact2: 「仮に慣れ過ぎないとすれば青ししおまけに見付け難くない」モンスターはいる fact3: 興奮し易いということはないモンスターは得難くない ; $hypothesis$ = 「「もし興奮し易いということはないとしたら攻撃し易いということはないしさらに得難くない」モンスターはいる」ということは偽である ; $proof$ = 
fact1 -> int1: もしあのぴなぴちゅLv.75が興奮し易くないとしたらあのぴなぴちゅLv.75は攻撃し易くなくてその上得難くない; int1 -> hypothesis; __DISPROVED__
fact1 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis; __DISPROVED__