あのまちゅまなLv.5は着易い
fact1: あらゆるモンスターは重たくない fact2: 全てのモンスターは着易い fact3: あのまちゅまなLv.5は冷たい fact4: 「あらゆるモンスターは大人らしい」ということは事実だ fact5: あるモンスターが略しないとすれば着易いし更に抜け易い
fact2 -> int1: 全てのモンスターは着易い; int1 -> hypothesis;
fact2 -> int1: (x): {A}x; int1 -> hypothesis;
すべてのモンスターは抜け易い
fact6 -> int2: 仮にあのまちゅまなLv.5が略しないとするとあのまちゅまなLv.5は着易いし加えてそれは抜け易い; fact7 -> int3: あのまちゅまなLv.5は重たくない;
$facts$ = fact1: あらゆるモンスターは重たくない fact2: 全てのモンスターは着易い fact3: あのまちゅまなLv.5は冷たい fact4: 「あらゆるモンスターは大人らしい」ということは事実だ fact5: あるモンスターが略しないとすれば着易いし更に抜け易い ; $hypothesis$ = あのまちゅまなLv.5は着易い ; $proof$ = 
fact2 -> int1: 全てのモンスターは着易い; int1 -> hypothesis; __PROVED__
fact2 -> int1: (x): {A}x; int1 -> hypothesis; __PROVED__