「あのみにゃみわLv.31はまだるっこしくない」ということは成り立つ
fact1: もし何らかのモンスターは自然らしいということはないとすると「まだるっこしいしそれは自供する」ということは正しい fact2: 「全てのモンスターはまだるっこしい」ということは成り立つ
fact2 -> int1: 「全てのモンスターはまだるっこしい」ということは成り立つ; int1 -> hypothesis;
fact2 -> int1: (x): {A}x; int1 -> hypothesis;
すべてのモンスターは自供する
fact3 -> int2: あのみにゃみわLv.31が自然らしくないとするとあのみにゃみわLv.31はまだるっこしいしさらに自供する;
$facts$ = fact1: もし何らかのモンスターは自然らしいということはないとすると「まだるっこしいしそれは自供する」ということは正しい fact2: 「全てのモンスターはまだるっこしい」ということは成り立つ ; $hypothesis$ = 「あのみにゃみわLv.31はまだるっこしくない」ということは成り立つ ; $proof$ = 
fact2 -> int1: 「全てのモンスターはまだるっこしい」ということは成り立つ; int1 -> hypothesis; __DISPROVED__
fact2 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__