「このぴゆぴえLv.77は冷め易い」ということは確かである
fact1: このみやみいLv.43は熱苦しい fact2: もし仮になんらかのモンスターが長たらしいとすればこのぴゆぴえLv.77は冷め易い fact3: もし仮に「長たらしいか熱苦しいかまたは両方ともな」モンスターがいるとすればこのぴゆぴえLv.77は冷め易い
fact1 -> int1: このみやみいLv.43は長たらしいかまたは熱苦しい; int1 -> int2: とあるモンスターは長たらしいか熱苦しいかあるいはどちらもだ; int2 & fact3 -> hypothesis;
fact1 -> int1: ({A}{a} v {B}{a}); int1 -> int2: (Ex): ({A}x v {B}x); int2 & fact3 -> hypothesis;
$facts$ = fact1: このみやみいLv.43は熱苦しい fact2: もし仮になんらかのモンスターが長たらしいとすればこのぴゆぴえLv.77は冷め易い fact3: もし仮に「長たらしいか熱苦しいかまたは両方ともな」モンスターがいるとすればこのぴゆぴえLv.77は冷め易い ; $hypothesis$ = 「このぴゆぴえLv.77は冷め易い」ということは確かである ; $proof$ = 
fact1 -> int1: このみやみいLv.43は長たらしいかまたは熱苦しい; int1 -> int2: とあるモンスターは長たらしいか熱苦しいかあるいはどちらもだ; int2 & fact3 -> hypothesis; __PROVED__
fact1 -> int1: ({A}{a} v {B}{a}); int1 -> int2: (Ex): ({A}x v {B}x); int2 & fact3 -> hypothesis; __PROVED__