「食べ過ぎないしそれにむくつけしない」モンスターはいる
fact1: きったないモンスターは食べ過ぎなくておまけにむくつけしない fact2: 仮になんらかのモンスターがきったないならあのぽにゃぽにょLv.20はきったないしそれは叩き合う fact3: このぽにぽのLv.56はきったない fact4: もしあのぽにゃぽにょLv.20がきったないとしたらあのぽにゃぽにょLv.20は厳くない
fact1 -> int1: このぽにぽのLv.56がきったないならば食べ過ぎるということはないしむくつけしということはない; int1 & fact3 -> int2: このぽにぽのLv.56は食べ過ぎないし更にむくつけしない; int2 -> hypothesis;
fact1 -> int1: {A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); int1 & fact3 -> int2: (¬{AA}{aa} & ¬{AB}{aa}); int2 -> hypothesis;
厳くないしさらに聞き取り難いということはないモンスターはいる
$facts$ = fact1: きったないモンスターは食べ過ぎなくておまけにむくつけしない fact2: 仮になんらかのモンスターがきったないならあのぽにゃぽにょLv.20はきったないしそれは叩き合う fact3: このぽにぽのLv.56はきったない fact4: もしあのぽにゃぽにょLv.20がきったないとしたらあのぽにゃぽにょLv.20は厳くない ; $hypothesis$ = 「食べ過ぎないしそれにむくつけしない」モンスターはいる ; $proof$ = 
fact1 -> int1: このぽにぽのLv.56がきったないならば食べ過ぎるということはないしむくつけしということはない; int1 & fact3 -> int2: このぽにぽのLv.56は食べ過ぎないし更にむくつけしない; int2 -> hypothesis; __PROVED__
fact1 -> int1: {A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); int1 & fact3 -> int2: (¬{AA}{aa} & ¬{AB}{aa}); int2 -> hypothesis; __PROVED__