あのまにゃまよLv.10は心弱くない
fact1: もしあのぴねぴえLv.4が優しかあるいは言い易いかまたは両方だとすればあのまにゃまよLv.10は心弱くない fact2: あのぴねぴえLv.4は優し
fact2 -> int1: あのぴねぴえLv.4は優しかまたは言い易いかまたはどちらもだ; int1 & fact1 -> hypothesis;
fact2 -> int1: ({A}{a} v {B}{a}); int1 & fact1 -> hypothesis;
$facts$ = fact1: もしあのぴねぴえLv.4が優しかあるいは言い易いかまたは両方だとすればあのまにゃまよLv.10は心弱くない fact2: あのぴねぴえLv.4は優し ; $hypothesis$ = あのまにゃまよLv.10は心弱くない ; $proof$ = 
fact2 -> int1: あのぴねぴえLv.4は優しかまたは言い易いかまたはどちらもだ; int1 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: ({A}{a} v {B}{a}); int1 & fact1 -> hypothesis; __PROVED__