そのぽにぽちょLv.59は根深くないがしかし口汚い
fact1: もし何らかのモンスターは恭しいなら「それは根深いということはない一方で美々しい」ということは間違っている fact2: このもえもにゃLv.13は真新しい fact3: 恭しいモンスターは根深いということはないがしかし口汚い fact4: もし「恭しい」モンスターはいるとすれば「そのぽにぽちょLv.59は根深くてさらに口汚い」ということは嘘である fact5: もしも「「恭しい」ということは真実である」モンスターはいるなら「そのぽにぽちょLv.59は根深いということはないけど口汚い」ということは間違っている fact6: もし仮に「口汚くない」モンスターがいるとすればあのぴにぴにLv.96は恭しくて更に真新しい
そのぽにぽちょLv.59は根深くないがしかし口汚い
fact7 -> int1: そのぽにぽちょLv.59が恭しいならそのぽにぽちょLv.59は根深くないがしかし口汚い;
$facts$ = fact1: もし何らかのモンスターは恭しいなら「それは根深いということはない一方で美々しい」ということは間違っている fact2: このもえもにゃLv.13は真新しい fact3: 恭しいモンスターは根深いということはないがしかし口汚い fact4: もし「恭しい」モンスターはいるとすれば「そのぽにぽちょLv.59は根深くてさらに口汚い」ということは嘘である fact5: もしも「「恭しい」ということは真実である」モンスターはいるなら「そのぽにぽちょLv.59は根深いということはないけど口汚い」ということは間違っている fact6: もし仮に「口汚くない」モンスターがいるとすればあのぴにぴにLv.96は恭しくて更に真新しい ; $hypothesis$ = そのぽにぽちょLv.59は根深くないがしかし口汚い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__