このまのまちょLv.86は生え易くない
fact1: そのまねまちょLv.98は自生する fact2: なんらかのモンスターが追従しないとすると自生するかあるいは生え易くないかもしくは両方である fact3: もし仮にこのまのまちょLv.86が追従するし加えて遅いとするとこのまのまちょLv.86は生え易くない fact4: そのまねまちょLv.98が自生するとすればこのまのまちょLv.86は追従する fact5: このまのまちょLv.86は遅い
fact4 & fact1 -> int1: このまのまちょLv.86は追従する; int1 & fact5 -> int2: このまのまちょLv.86は追従するし遅い; int2 & fact3 -> hypothesis;
fact4 & fact1 -> int1: {B}{b}; int1 & fact5 -> int2: ({B}{b} & {C}{b}); int2 & fact3 -> hypothesis;
そのまねまちょLv.98は生え易い
fact6 -> int3: このまのまちょLv.86が追従するということはないならこのまのまちょLv.86は自生するかあるいはそれは生え易くないか両方である;
$facts$ = fact1: そのまねまちょLv.98は自生する fact2: なんらかのモンスターが追従しないとすると自生するかあるいは生え易くないかもしくは両方である fact3: もし仮にこのまのまちょLv.86が追従するし加えて遅いとするとこのまのまちょLv.86は生え易くない fact4: そのまねまちょLv.98が自生するとすればこのまのまちょLv.86は追従する fact5: このまのまちょLv.86は遅い ; $hypothesis$ = このまのまちょLv.86は生え易くない ; $proof$ = 
fact4 & fact1 -> int1: このまのまちょLv.86は追従する; int1 & fact5 -> int2: このまのまちょLv.86は追従するし遅い; int2 & fact3 -> hypothesis; __PROVED__
fact4 & fact1 -> int1: {B}{b}; int1 & fact5 -> int2: ({B}{b} & {C}{b}); int2 & fact3 -> hypothesis; __PROVED__