そのぴよぴちゃLv.80は若者らしい
fact1: すべてのモンスターは口汚くないかもしくはそれは甘辛いか両方だ fact2: あのもにゃもくLv.81が口汚くないかあるいは甘辛いとしたらそのぴよぴちゃLv.80は若者らしくない fact3: もしあのもにゃもくLv.81が口汚くないならそのぴよぴちゃLv.80は若者らしくない fact4: 全てのモンスターは口汚いということはないかもしくは若者らしいかまたは両方ともだ fact5: あらゆるモンスターは口汚いかもしくは甘辛いかもしくは両方ともだ
fact1 -> int1: あのもにゃもくLv.81は口汚いということはないかもしくは甘辛いかまたは両方ともである; int1 & fact2 -> hypothesis;
fact1 -> int1: (¬{A}{aa} v {B}{aa}); int1 & fact2 -> hypothesis;
$facts$ = fact1: すべてのモンスターは口汚くないかもしくはそれは甘辛いか両方だ fact2: あのもにゃもくLv.81が口汚くないかあるいは甘辛いとしたらそのぴよぴちゃLv.80は若者らしくない fact3: もしあのもにゃもくLv.81が口汚くないならそのぴよぴちゃLv.80は若者らしくない fact4: 全てのモンスターは口汚いということはないかもしくは若者らしいかまたは両方ともだ fact5: あらゆるモンスターは口汚いかもしくは甘辛いかもしくは両方ともだ ; $hypothesis$ = そのぴよぴちゃLv.80は若者らしい ; $proof$ = 
fact1 -> int1: あのもにゃもくLv.81は口汚いということはないかもしくは甘辛いかまたは両方ともである; int1 & fact2 -> hypothesis; __DISPROVED__
fact1 -> int1: (¬{A}{aa} v {B}{aa}); int1 & fact2 -> hypothesis; __DISPROVED__