あのまにゅまにLv.39は父親らしい
fact1: あのまよまえLv.72は切り飛ばす fact2: 「あのまよまえLv.72は仲間らしい」ということは正しい fact3: 仮に「むず痒いかあるいは仲間らしいかまたは両方である」モンスターがいるとすればあのまにゅまにLv.39は父親らしい fact4: 仮に「むず痒い」モンスターがいるとすればあのまにゅまにLv.39は父親らしい
fact2 -> int1: あのまよまえLv.72はむず痒いかあるいはそれは仲間らしい; int1 -> int2: 「むず痒いかまたは仲間らしいかまたはどちらもである」モンスターはいる; int2 & fact3 -> hypothesis;
fact2 -> int1: ({A}{a} v {B}{a}); int1 -> int2: (Ex): ({A}x v {B}x); int2 & fact3 -> hypothesis;
$facts$ = fact1: あのまよまえLv.72は切り飛ばす fact2: 「あのまよまえLv.72は仲間らしい」ということは正しい fact3: 仮に「むず痒いかあるいは仲間らしいかまたは両方である」モンスターがいるとすればあのまにゅまにLv.39は父親らしい fact4: 仮に「むず痒い」モンスターがいるとすればあのまにゅまにLv.39は父親らしい ; $hypothesis$ = あのまにゅまにLv.39は父親らしい ; $proof$ = 
fact2 -> int1: あのまよまえLv.72はむず痒いかあるいはそれは仲間らしい; int1 -> int2: 「むず痒いかまたは仲間らしいかまたはどちらもである」モンスターはいる; int2 & fact3 -> hypothesis; __PROVED__
fact2 -> int1: ({A}{a} v {B}{a}); int1 -> int2: (Ex): ({A}x v {B}x); int2 & fact3 -> hypothesis; __PROVED__