そのぽにゃぽのLv.99は珍しくて素晴らし
fact1: そのぽにゃぽのLv.99が折り取るとしたら珍しい fact2: そのぽにゃぽのLv.99が微笑ましいならばそれは素晴らし fact3: もし仮にあのぷちょぷにゅLv.77があてがえばそのぽにゃぽのLv.99は微笑ましい fact4: もしもあのぷちょぷにゅLv.77が折り取るならそのぽにゃぽのLv.99は微笑ましい fact5: もし仮にそのぽにゃぽのLv.99があてがうとすればあのぷちょぷにゅLv.77は珍しい fact6: そのぽにゃぽのLv.99は珍しい fact7: あらゆるモンスターは折り取るかそれはあてがう
fact7 -> int1: あのぷちょぷにゅLv.77は折り取るかあてがうかあるいは両方ともだ; int1 & fact4 & fact3 -> int2: そのぽにゃぽのLv.99は微笑ましい; int2 & fact2 -> int3: そのぽにゃぽのLv.99は素晴らし; int3 & fact6 -> hypothesis;
fact7 -> int1: ({A}{a} v {B}{a}); int1 & fact4 & fact3 -> int2: {C}{c}; int2 & fact2 -> int3: {D}{c}; int3 & fact6 -> hypothesis;
$facts$ = fact1: そのぽにゃぽのLv.99が折り取るとしたら珍しい fact2: そのぽにゃぽのLv.99が微笑ましいならばそれは素晴らし fact3: もし仮にあのぷちょぷにゅLv.77があてがえばそのぽにゃぽのLv.99は微笑ましい fact4: もしもあのぷちょぷにゅLv.77が折り取るならそのぽにゃぽのLv.99は微笑ましい fact5: もし仮にそのぽにゃぽのLv.99があてがうとすればあのぷちょぷにゅLv.77は珍しい fact6: そのぽにゃぽのLv.99は珍しい fact7: あらゆるモンスターは折り取るかそれはあてがう ; $hypothesis$ = そのぽにゃぽのLv.99は珍しくて素晴らし ; $proof$ = 
fact7 -> int1: あのぷちょぷにゅLv.77は折り取るかあてがうかあるいは両方ともだ; int1 & fact4 & fact3 -> int2: そのぽにゃぽのLv.99は微笑ましい; int2 & fact2 -> int3: そのぽにゃぽのLv.99は素晴らし; int3 & fact6 -> hypothesis; __PROVED__
fact7 -> int1: ({A}{a} v {B}{a}); int1 & fact4 & fact3 -> int2: {C}{c}; int2 & fact2 -> int3: {D}{c}; int3 & fact6 -> hypothesis; __PROVED__