「「仮に「どぎついということはないかあるいは弱しかあるいは両方ともだ」ということは成り立たないとしたらおもろくない」モンスターはいる」ということは誤っている
fact1: もしも「とあるモンスターは順応し易くないか疎ましいかまたは両方である」ということは間違いならそれはあくどくない fact2: 「もしも「どぎついかまたは弱しか両方ともである」ということは間違っているならおもろくない」モンスターはいる
「もし「「順応し易くないかまたは疎ましいかあるいは両方だ」ということは確かである」ということは間違っているとしたらあくどくない」モンスターはいる
fact3 -> int1: 「このぴくぴにゃLv.26は順応し易くないかまたは疎ましい」ということは間違いだとするとあくどくない; int1 -> hypothesis;
$facts$ = fact1: もしも「とあるモンスターは順応し易くないか疎ましいかまたは両方である」ということは間違いならそれはあくどくない fact2: 「もしも「どぎついかまたは弱しか両方ともである」ということは間違っているならおもろくない」モンスターはいる ; $hypothesis$ = 「「仮に「どぎついということはないかあるいは弱しかあるいは両方ともだ」ということは成り立たないとしたらおもろくない」モンスターはいる」ということは誤っている ; $proof$ = 
__UNKNOWN__
__UNKNOWN__