そのもいもわLv.4は泳ぎ着かない
fact1: 「このみよみいLv.92は鳴り出す」ということは成り立つ fact2: 「このみよみいLv.92はし得る」ということは事実だ fact3: もしそのもいもわLv.4は鳴り出すしそれにそれは泳ぎ着けばこのみよみいLv.92はし得ない fact4: 仮にこのみよみいLv.92が鳴り出すしかつし得るならそのもいもわLv.4は泳ぎ着くということはない fact5: このみよみいLv.92は再発し易くない fact6: あのまにまちゅLv.60は鳴り出すし更に奪取する fact7: このみよみいLv.92が小気味良いしその上及ぼし続ける
fact1 & fact2 -> int1: このみよみいLv.92は鳴り出すしおまけにそれはし得る; int1 & fact4 -> hypothesis;
fact1 & fact2 -> int1: ({A}{a} & {B}{a}); int1 & fact4 -> hypothesis;
$facts$ = fact1: 「このみよみいLv.92は鳴り出す」ということは成り立つ fact2: 「このみよみいLv.92はし得る」ということは事実だ fact3: もしそのもいもわLv.4は鳴り出すしそれにそれは泳ぎ着けばこのみよみいLv.92はし得ない fact4: 仮にこのみよみいLv.92が鳴り出すしかつし得るならそのもいもわLv.4は泳ぎ着くということはない fact5: このみよみいLv.92は再発し易くない fact6: あのまにまちゅLv.60は鳴り出すし更に奪取する fact7: このみよみいLv.92が小気味良いしその上及ぼし続ける ; $hypothesis$ = そのもいもわLv.4は泳ぎ着かない ; $proof$ = 
fact1 & fact2 -> int1: このみよみいLv.92は鳴り出すしおまけにそれはし得る; int1 & fact4 -> hypothesis; __PROVED__
fact1 & fact2 -> int1: ({A}{a} & {B}{a}); int1 & fact4 -> hypothesis; __PROVED__