このぴにぴねLv.40は忍耐強い
fact1: このぴにぴねLv.40は切れ易い fact2: もしもこのぴにぴねLv.40が極まり悪いなら忍耐強い fact3: もしも「このぴにぴねLv.40は瑞々しくないかそれは切れ易いかまたは両方だ」ということは事実だとすると「このぴにぴねLv.40は極まり悪い」ということは確かだ
fact1 -> int1: このぴにぴねLv.40は瑞々しくないかまたは切れ易いかあるいは両方である; int1 & fact3 -> int2: このぴにぴねLv.40は極まり悪い; int2 & fact2 -> hypothesis;
fact1 -> int1: (¬{A}{a} v {B}{a}); int1 & fact3 -> int2: {C}{a}; int2 & fact2 -> hypothesis;
$facts$ = fact1: このぴにぴねLv.40は切れ易い fact2: もしもこのぴにぴねLv.40が極まり悪いなら忍耐強い fact3: もしも「このぴにぴねLv.40は瑞々しくないかそれは切れ易いかまたは両方だ」ということは事実だとすると「このぴにぴねLv.40は極まり悪い」ということは確かだ ; $hypothesis$ = このぴにぴねLv.40は忍耐強い ; $proof$ = 
fact1 -> int1: このぴにぴねLv.40は瑞々しくないかまたは切れ易いかあるいは両方である; int1 & fact3 -> int2: このぴにぴねLv.40は極まり悪い; int2 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: (¬{A}{a} v {B}{a}); int1 & fact3 -> int2: {C}{a}; int2 & fact2 -> hypothesis; __PROVED__