このまよまにゅLv.45は直面しない一方で動き易い
fact1: もしこのぷちゅぷにょLv.14が取り易いなら動き易い fact2: あらゆるモンスターは取り易い fact3: もしこのぷちゅぷにょLv.14が動き易いとすればこのまよまにゅLv.45は直面するということはないけれど動き易い
fact2 -> int1: このぷちゅぷにょLv.14は取り易い; int1 & fact1 -> int2: このぷちゅぷにょLv.14は動き易い; int2 & fact3 -> hypothesis;
fact2 -> int1: {A}{aa}; int1 & fact1 -> int2: {B}{aa}; int2 & fact3 -> hypothesis;
$facts$ = fact1: もしこのぷちゅぷにょLv.14が取り易いなら動き易い fact2: あらゆるモンスターは取り易い fact3: もしこのぷちゅぷにょLv.14が動き易いとすればこのまよまにゅLv.45は直面するということはないけれど動き易い ; $hypothesis$ = このまよまにゅLv.45は直面しない一方で動き易い ; $proof$ = 
fact2 -> int1: このぷちゅぷにょLv.14は取り易い; int1 & fact1 -> int2: このぷちゅぷにょLv.14は動き易い; int2 & fact3 -> hypothesis; __PROVED__
fact2 -> int1: {A}{aa}; int1 & fact1 -> int2: {B}{aa}; int2 & fact3 -> hypothesis; __PROVED__