そのぴにぴゆLv.34は突き落とさない
fact1: 仮にそのぴくぴのLv.44が塩っ辛いならばそれは名状し難い fact2: もしも何らかのモンスターが塩っ辛いならばそれは馬鹿でかい fact3: 仮にそのぴくぴのLv.44が名状し難いかあるいは消去するとしたらそのぴにぴゆLv.34は突き落とさない fact4: そのぴくぴのLv.44は塩っ辛い fact5: もし仮になんらかのモンスターが塩っ辛いならそれは突き落とす fact6: そのぴにぴゆLv.34は名状し難い
fact1 & fact4 -> int1: そのぴくぴのLv.44は名状し難い; int1 -> int2: そのぴくぴのLv.44は名状し難いかまたはそれは消去するかもしくはどちらもである; int2 & fact3 -> hypothesis;
fact1 & fact4 -> int1: {B}{a}; int1 -> int2: ({B}{a} v {C}{a}); int2 & fact3 -> hypothesis;
そのぴにぴゆLv.34は馬鹿でかいかもしくは信仰深い
fact7 -> int3: そのぴにぴゆLv.34は塩っ辛いなら「馬鹿でかい」ということは本当である;
$facts$ = fact1: 仮にそのぴくぴのLv.44が塩っ辛いならばそれは名状し難い fact2: もしも何らかのモンスターが塩っ辛いならばそれは馬鹿でかい fact3: 仮にそのぴくぴのLv.44が名状し難いかあるいは消去するとしたらそのぴにぴゆLv.34は突き落とさない fact4: そのぴくぴのLv.44は塩っ辛い fact5: もし仮になんらかのモンスターが塩っ辛いならそれは突き落とす fact6: そのぴにぴゆLv.34は名状し難い ; $hypothesis$ = そのぴにぴゆLv.34は突き落とさない ; $proof$ = 
fact1 & fact4 -> int1: そのぴくぴのLv.44は名状し難い; int1 -> int2: そのぴくぴのLv.44は名状し難いかまたはそれは消去するかもしくはどちらもである; int2 & fact3 -> hypothesis; __PROVED__
fact1 & fact4 -> int1: {B}{a}; int1 -> int2: ({B}{a} v {C}{a}); int2 & fact3 -> hypothesis; __PROVED__