あのもねもなLv.86はおっきいということはない
fact1: もし「なにがしかのモンスターは危うしないかもしくは生温かくないか両方ともだ」ということは誤っていればそれは解析しない fact2: あのもねもなLv.86は真っ暗くないけれど甲斐甲斐しい fact3: 「仮になにがしかのモンスターが解析しないならそれはおっきい」ということは確かだ fact4: あのもねもなLv.86は甲斐甲斐しい
あのもねもなLv.86はおっきい
fact5 -> int1: 仮にあのもねもなLv.86は解析するということはないならば「あのもねもなLv.86はおっきい」ということは成り立つ; fact6 -> int2: もし仮に「あのもねもなLv.86は危うしないかあるいはそれは生温かいということはないかまたはどちらもである」ということは嘘であるとするとあのもねもなLv.86は解析しない;
$facts$ = fact1: もし「なにがしかのモンスターは危うしないかもしくは生温かくないか両方ともだ」ということは誤っていればそれは解析しない fact2: あのもねもなLv.86は真っ暗くないけれど甲斐甲斐しい fact3: 「仮になにがしかのモンスターが解析しないならそれはおっきい」ということは確かだ fact4: あのもねもなLv.86は甲斐甲斐しい ; $hypothesis$ = あのもねもなLv.86はおっきいということはない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__