そのぷのぷねLv.89は壊れ易くないしそれは親しということはない
fact1: もし仮に「あのぴいぴにゃLv.76は敢え無い」ということは正しいならあのぴいぴにゃLv.76は壊れ易くない fact2: あのぴいぴにゃLv.76は活用し易い fact3: もし仮にあのぴいぴにゃLv.76が壊れ易くないとするとそのぷのぷねLv.89は壊れ易くない fact4: もし仮にあのぴいぴにゃLv.76が壊れ易くないとしたらそのぷのぷねLv.89は壊れ易くなくてさらに親しない fact5: もしもあのぴいぴにゃLv.76が活用し易いかそれは敢え無いかまたはどちらもであるなら「あのぴいぴにゃLv.76は壊れ易くない」ということは偽でない fact6: なんらかのモンスターは活用し易いとしたら「それは壊れ易いということはなくてしかも親しない」ということは成り立たない fact7: そのぷのぷねLv.89は壊れ易くない
fact2 -> int1: あのぴいぴにゃLv.76は活用し易いか敢え無いかまたはどちらもだ; int1 & fact5 -> int2: あのぴいぴにゃLv.76は壊れ易いということはない; int2 & fact4 -> hypothesis;
fact2 -> int1: ({A}{a} v {B}{a}); int1 & fact5 -> int2: ¬{C}{a}; int2 & fact4 -> hypothesis;
「「そのぷのぷねLv.89は壊れ易くなくて親しない」ということは真実でない」ということは成り立つ
fact8 -> int3: もしもそのぷのぷねLv.89は活用し易いなら「そのぷのぷねLv.89は壊れ易くなくてしかもそれは親しない」ということは間違いだ;
$facts$ = fact1: もし仮に「あのぴいぴにゃLv.76は敢え無い」ということは正しいならあのぴいぴにゃLv.76は壊れ易くない fact2: あのぴいぴにゃLv.76は活用し易い fact3: もし仮にあのぴいぴにゃLv.76が壊れ易くないとするとそのぷのぷねLv.89は壊れ易くない fact4: もし仮にあのぴいぴにゃLv.76が壊れ易くないとしたらそのぷのぷねLv.89は壊れ易くなくてさらに親しない fact5: もしもあのぴいぴにゃLv.76が活用し易いかそれは敢え無いかまたはどちらもであるなら「あのぴいぴにゃLv.76は壊れ易くない」ということは偽でない fact6: なんらかのモンスターは活用し易いとしたら「それは壊れ易いということはなくてしかも親しない」ということは成り立たない fact7: そのぷのぷねLv.89は壊れ易くない ; $hypothesis$ = そのぷのぷねLv.89は壊れ易くないしそれは親しということはない ; $proof$ = 
fact2 -> int1: あのぴいぴにゃLv.76は活用し易いか敢え無いかまたはどちらもだ; int1 & fact5 -> int2: あのぴいぴにゃLv.76は壊れ易いということはない; int2 & fact4 -> hypothesis; __PROVED__
fact2 -> int1: ({A}{a} v {B}{a}); int1 & fact5 -> int2: ¬{C}{a}; int2 & fact4 -> hypothesis; __PROVED__