「そのぽやぽゆLv.1は行い易くない」ということは成り立つ
fact1: 「そのぽやぽゆLv.1は荒い」ということは真実である fact2: もしそのぽやぽゆLv.1が荒いかもしくは迷信深いかまたは両方であるとすればそのぽやぽゆLv.1は行い易くない
fact1 -> int1: そのぽやぽゆLv.1は荒いかまたは迷信深いかまたは両方ともだ; int1 & fact2 -> hypothesis;
fact1 -> int1: ({A}{a} v {B}{a}); int1 & fact2 -> hypothesis;
$facts$ = fact1: 「そのぽやぽゆLv.1は荒い」ということは真実である fact2: もしそのぽやぽゆLv.1が荒いかもしくは迷信深いかまたは両方であるとすればそのぽやぽゆLv.1は行い易くない ; $hypothesis$ = 「そのぽやぽゆLv.1は行い易くない」ということは成り立つ ; $proof$ = 
fact1 -> int1: そのぽやぽゆLv.1は荒いかまたは迷信深いかまたは両方ともだ; int1 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: ({A}{a} v {B}{a}); int1 & fact2 -> hypothesis; __PROVED__