あのぽゆぽちゃLv.53はまあるいが例外無くない
fact1: あのぷわぷちゃLv.87は憎ししおまけに入手し易い fact2: 仮にあのぷわぷちゃLv.87が展開し易いとすればあのぽゆぽちゃLv.53はまあるい fact3: もしあのぷわぷちゃLv.87が恵み深いなら展開し易い fact4: もし仮にあのぷわぷちゃLv.87が憎しとすればあのぷわぷちゃLv.87は恵み深い fact5: あのぽゆぽちゃLv.53は例外無くない
fact1 -> int1: あのぷわぷちゃLv.87は憎し; int1 & fact4 -> int2: あのぷわぷちゃLv.87は恵み深い; int2 & fact3 -> int3: あのぷわぷちゃLv.87は展開し易い; int3 & fact2 -> int4: あのぽゆぽちゃLv.53はまあるい; int4 & fact5 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact4 -> int2: {C}{a}; int2 & fact3 -> int3: {D}{a}; int3 & fact2 -> int4: {E}{b}; int4 & fact5 -> hypothesis;
$facts$ = fact1: あのぷわぷちゃLv.87は憎ししおまけに入手し易い fact2: 仮にあのぷわぷちゃLv.87が展開し易いとすればあのぽゆぽちゃLv.53はまあるい fact3: もしあのぷわぷちゃLv.87が恵み深いなら展開し易い fact4: もし仮にあのぷわぷちゃLv.87が憎しとすればあのぷわぷちゃLv.87は恵み深い fact5: あのぽゆぽちゃLv.53は例外無くない ; $hypothesis$ = あのぽゆぽちゃLv.53はまあるいが例外無くない ; $proof$ = 
fact1 -> int1: あのぷわぷちゃLv.87は憎し; int1 & fact4 -> int2: あのぷわぷちゃLv.87は恵み深い; int2 & fact3 -> int3: あのぷわぷちゃLv.87は展開し易い; int3 & fact2 -> int4: あのぽゆぽちゃLv.53はまあるい; int4 & fact5 -> hypothesis; __PROVED__
fact1 -> int1: {A}{a}; int1 & fact4 -> int2: {C}{a}; int2 & fact3 -> int3: {D}{a}; int3 & fact2 -> int4: {E}{b}; int4 & fact5 -> hypothesis; __PROVED__