あのぽよぽにょLv.25は存在出来ない
fact1: あのぽよぽにょLv.25は物憂いか太り易いかどちらもであるとするとそれは存在出来ない fact2: もし「あのぽよぽにょLv.25は格好悪い」ということは本当ならばあのまいまねLv.19は存在出来る fact3: あのぽにぽにLv.80は素晴らしくて如何わしい fact4: 何らかのモンスターが太り易くないとしたらそれは格好悪くてさらに存在出来る fact5: もしあのぽよぽにょLv.25が物憂いならそれは存在出来ない
あのぽよぽにょLv.25は存在出来る
fact6 -> int1: 仮にあのぽよぽにょLv.25が太り易くないとすればあのぽよぽにょLv.25は格好悪くて存在出来る;
$facts$ = fact1: あのぽよぽにょLv.25は物憂いか太り易いかどちらもであるとするとそれは存在出来ない fact2: もし「あのぽよぽにょLv.25は格好悪い」ということは本当ならばあのまいまねLv.19は存在出来る fact3: あのぽにぽにLv.80は素晴らしくて如何わしい fact4: 何らかのモンスターが太り易くないとしたらそれは格好悪くてさらに存在出来る fact5: もしあのぽよぽにょLv.25が物憂いならそれは存在出来ない ; $hypothesis$ = あのぽよぽにょLv.25は存在出来ない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__