「そのぽえぽねLv.11は漏れ無くない」ということは成り立つ
fact1: もしそのぽえぽねLv.11が立て易いならば漏れ無い fact2: そのぽえぽねLv.11は立て易い fact3: そのぴちょぴねLv.91は漏れ無い
fact2 -> int1: そのぽえぽねLv.11は立て易い; int1 & fact1 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact1 -> hypothesis;
$facts$ = fact1: もしそのぽえぽねLv.11が立て易いならば漏れ無い fact2: そのぽえぽねLv.11は立て易い fact3: そのぴちょぴねLv.91は漏れ無い ; $hypothesis$ = 「そのぽえぽねLv.11は漏れ無くない」ということは成り立つ ; $proof$ = 
fact2 -> int1: そのぽえぽねLv.11は立て易い; int1 & fact1 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}{a}; int1 & fact1 -> hypothesis; __DISPROVED__