もしあのぴえぴにゃLv.35が施すとするとこのまにゅまのLv.50は心安い
fact1: 住み易いモンスターは懐こいがしかし根気良いということはない fact2: もし仮にこのまにゅまのLv.50が施すとするとあのぴえぴにゃLv.35は根気良い fact3: あのぴにゅぴわLv.85は根気良い fact4: あのぴえぴにゃLv.35が心安いということはないとしたらこのもねもにゅLv.55は施すし根気良い fact5: もしあのぴえぴにゃLv.35が施すとすればこのまにゅまのLv.50は根気良い fact6: 仮にこのまにゅまのLv.50が根気良いならば心安い
void -> assump1: 以下のように仮定する。あのぴえぴにゃLv.35は施す; fact5 & assump1 -> int1: このまにゅまのLv.50は根気良い; int1 & fact6 -> int2: このまにゅまのLv.50は心安い; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact5 & assump1 -> int1: {B}{b}; int1 & fact6 -> int2: {C}{b}; [assump1] & int2 -> hypothesis;
このもねもにゅLv.55は根気良い
$facts$ = fact1: 住み易いモンスターは懐こいがしかし根気良いということはない fact2: もし仮にこのまにゅまのLv.50が施すとするとあのぴえぴにゃLv.35は根気良い fact3: あのぴにゅぴわLv.85は根気良い fact4: あのぴえぴにゃLv.35が心安いということはないとしたらこのもねもにゅLv.55は施すし根気良い fact5: もしあのぴえぴにゃLv.35が施すとすればこのまにゅまのLv.50は根気良い fact6: 仮にこのまにゅまのLv.50が根気良いならば心安い ; $hypothesis$ = もしあのぴえぴにゃLv.35が施すとするとこのまにゅまのLv.50は心安い ; $proof$ = 
void -> assump1: 以下のように仮定する。あのぴえぴにゃLv.35は施す; fact5 & assump1 -> int1: このまにゅまのLv.50は根気良い; int1 & fact6 -> int2: このまにゅまのLv.50は心安い; [assump1] & int2 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact5 & assump1 -> int1: {B}{b}; int1 & fact6 -> int2: {C}{b}; [assump1] & int2 -> hypothesis; __PROVED__