あのまにまのLv.94は大人らしくない
fact1: あのぷちょぷやLv.33は辛抱強いしまたそれは滞在する fact2: 「あのぷちょぷやLv.33は滞在する」ということは事実だ fact3: 仮になにがしかのモンスターが滞在しないなら大人らしいしさらに辛抱強い fact4: あのぷちょぷやLv.33は対抗し得る fact5: もし仮にあのぷちょぷやLv.33が辛抱強いしその上それが対抗し得るならあのまにまのLv.94は大人らしくない
fact1 -> int1: あのぷちょぷやLv.33は辛抱強い; int1 & fact4 -> int2: あのぷちょぷやLv.33は辛抱強いし対抗し得る; int2 & fact5 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact4 -> int2: ({A}{a} & {C}{a}); int2 & fact5 -> hypothesis;
あのまにまのLv.94は大人らしい
fact6 -> int3: あのまにまのLv.94が滞在するということはないならあのまにまのLv.94は大人らしいし加えて辛抱強い;
$facts$ = fact1: あのぷちょぷやLv.33は辛抱強いしまたそれは滞在する fact2: 「あのぷちょぷやLv.33は滞在する」ということは事実だ fact3: 仮になにがしかのモンスターが滞在しないなら大人らしいしさらに辛抱強い fact4: あのぷちょぷやLv.33は対抗し得る fact5: もし仮にあのぷちょぷやLv.33が辛抱強いしその上それが対抗し得るならあのまにまのLv.94は大人らしくない ; $hypothesis$ = あのまにまのLv.94は大人らしくない ; $proof$ = 
fact1 -> int1: あのぷちょぷやLv.33は辛抱強い; int1 & fact4 -> int2: あのぷちょぷやLv.33は辛抱強いし対抗し得る; int2 & fact5 -> hypothesis; __PROVED__
fact1 -> int1: {A}{a}; int1 & fact4 -> int2: ({A}{a} & {C}{a}); int2 & fact5 -> hypothesis; __PROVED__