あのぴよぴいLv.93は偏向する
fact1: もし仮に「あのぷにゅぷよLv.62は偏向しない」ということは成り立てば誘拐するしそれに過不足無い fact2: あのぴよぴいLv.93が過不足無いしその上誘拐する fact3: なにがしかのモンスターが誘拐するとすると過不足無いかもしくはそれは偏向しないか両方だ fact4: そのぽにょぽにゃLv.12は過不足無い fact5: 仮にそのぴなぴにょLv.6が過不足無いかまたはそれが偏向しないかあるいは両方であるとするとあのぴよぴいLv.93は偏向しない fact6: もしもあのぴよぴいLv.93が誘拐するとしたらそれは偏向する
fact2 -> int1: あのぴよぴいLv.93は誘拐する; int1 & fact6 -> hypothesis;
fact2 -> int1: {B}{a}; int1 & fact6 -> hypothesis;
あのぴよぴいLv.93は偏向しない
fact7 -> int2: 仮にそのぴなぴにょLv.6が誘拐するならそれは過不足無いかあるいは偏向するということはない;
$facts$ = fact1: もし仮に「あのぷにゅぷよLv.62は偏向しない」ということは成り立てば誘拐するしそれに過不足無い fact2: あのぴよぴいLv.93が過不足無いしその上誘拐する fact3: なにがしかのモンスターが誘拐するとすると過不足無いかもしくはそれは偏向しないか両方だ fact4: そのぽにょぽにゃLv.12は過不足無い fact5: 仮にそのぴなぴにょLv.6が過不足無いかまたはそれが偏向しないかあるいは両方であるとするとあのぴよぴいLv.93は偏向しない fact6: もしもあのぴよぴいLv.93が誘拐するとしたらそれは偏向する ; $hypothesis$ = あのぴよぴいLv.93は偏向する ; $proof$ = 
fact2 -> int1: あのぴよぴいLv.93は誘拐する; int1 & fact6 -> hypothesis; __PROVED__
fact2 -> int1: {B}{a}; int1 & fact6 -> hypothesis; __PROVED__