「鍛えるかもしくは通じ易いかもしくは両方な」モンスターはいる
fact1: そのまにゃまわLv.12は集約出来るしおまけに打ち上がり易い fact2: 「そのまにゃまわLv.12は漉す」ということは事実だ fact3: そのまにゃまわLv.12は漉すししかも通じ易い fact4: そのまにゃまわLv.12は鍛えるか勝ち易いかあるいは両方だ
fact3 -> int1: そのまにゃまわLv.12は通じ易い; int1 -> int2: そのまにゃまわLv.12は鍛えるかもしくはそれは通じ易い; int2 -> hypothesis;
fact3 -> int1: {B}{a}; int1 -> int2: ({C}{a} v {B}{a}); int2 -> hypothesis;
$facts$ = fact1: そのまにゃまわLv.12は集約出来るしおまけに打ち上がり易い fact2: 「そのまにゃまわLv.12は漉す」ということは事実だ fact3: そのまにゃまわLv.12は漉すししかも通じ易い fact4: そのまにゃまわLv.12は鍛えるか勝ち易いかあるいは両方だ ; $hypothesis$ = 「鍛えるかもしくは通じ易いかもしくは両方な」モンスターはいる ; $proof$ = 
fact3 -> int1: そのまにゃまわLv.12は通じ易い; int1 -> int2: そのまにゃまわLv.12は鍛えるかもしくはそれは通じ易い; int2 -> hypothesis; __PROVED__
fact3 -> int1: {B}{a}; int1 -> int2: ({C}{a} v {B}{a}); int2 -> hypothesis; __PROVED__