「そのみにょみにゃLv.10は短い」ということは間違いでない
fact1: もし何らかのモンスターが神々しくないとするとそれは集まり易いということはない fact2: あらゆるモンスターは短い fact3: 「あらゆるモンスターは均す」ということは確かだ fact4: 神々しくなくてしかも集まり易くないモンスターは短くない fact5: 「全てのモンスターは交配する」ということは事実だ
fact2 -> int1: あらゆるモンスターは短い; int1 -> hypothesis;
fact2 -> int1: (x): {A}x; int1 -> hypothesis;
全てのモンスターは如此し
fact7 -> int2: 仮にそのみにょみにゃLv.10が神々しくないならそれは集まり易いということはない; fact6 -> int3: そのみにょみにゃLv.10は均す;
$facts$ = fact1: もし何らかのモンスターが神々しくないとするとそれは集まり易いということはない fact2: あらゆるモンスターは短い fact3: 「あらゆるモンスターは均す」ということは確かだ fact4: 神々しくなくてしかも集まり易くないモンスターは短くない fact5: 「全てのモンスターは交配する」ということは事実だ ; $hypothesis$ = 「そのみにょみにゃLv.10は短い」ということは間違いでない ; $proof$ = 
fact2 -> int1: あらゆるモンスターは短い; int1 -> hypothesis; __PROVED__
fact2 -> int1: (x): {A}x; int1 -> hypothesis; __PROVED__