そのまいまにLv.28は戻し易くない
fact1: そのまいまにLv.28が苦々しいかもしくはそれはあくどいかまたは両方ともであるとすると戻し易くない fact2: もしもそのぷくぷえLv.93が流し送ればそのまいまにLv.28は戻し易い fact3: そのまいまにLv.28があくどいならば戻し易くない fact4: 仮にとあるモンスターが流し送るとすればそれは苦々しい fact5: そのまいまにLv.28は流し送る fact6: あくどいモンスターは苦々しい
fact4 -> int1: もしもそのまいまにLv.28が流し送れば苦々しい; int1 & fact5 -> int2: そのまいまにLv.28は苦々しい; int2 -> int3: そのまいまにLv.28は苦々しいかもしくはあくどいか両方ともだ; int3 & fact1 -> hypothesis;
fact4 -> int1: {A}{a} -> {B}{a}; int1 & fact5 -> int2: {B}{a}; int2 -> int3: ({B}{a} v {C}{a}); int3 & fact1 -> hypothesis;
そのまいまにLv.28は戻し易い
$facts$ = fact1: そのまいまにLv.28が苦々しいかもしくはそれはあくどいかまたは両方ともであるとすると戻し易くない fact2: もしもそのぷくぷえLv.93が流し送ればそのまいまにLv.28は戻し易い fact3: そのまいまにLv.28があくどいならば戻し易くない fact4: 仮にとあるモンスターが流し送るとすればそれは苦々しい fact5: そのまいまにLv.28は流し送る fact6: あくどいモンスターは苦々しい ; $hypothesis$ = そのまいまにLv.28は戻し易くない ; $proof$ = 
fact4 -> int1: もしもそのまいまにLv.28が流し送れば苦々しい; int1 & fact5 -> int2: そのまいまにLv.28は苦々しい; int2 -> int3: そのまいまにLv.28は苦々しいかもしくはあくどいか両方ともだ; int3 & fact1 -> hypothesis; __PROVED__
fact4 -> int1: {A}{a} -> {B}{a}; int1 & fact5 -> int2: {B}{a}; int2 -> int3: ({B}{a} v {C}{a}); int3 & fact1 -> hypothesis; __PROVED__