このぽやぽのLv.12は流し送る
fact1: 何らかのモンスターはややこしいということはない fact2: あのみねみよLv.33が変化し易いとしたらこのぽやぽのLv.12は流れ易い fact3: 「ややこしい」モンスターはいる fact4: 仮に「ややこしくない」モンスターがいるとすればあのみねみよLv.33は戻し易いしそれは変化し易い fact5: 仮にこのぽやぽのLv.12が流れ易いとしたらこのぽやぽのLv.12は流し送る
fact4 & fact1 -> int1: あのみねみよLv.33は戻し易いしかつ変化し易い; int1 -> int2: あのみねみよLv.33は変化し易い; int2 & fact2 -> int3: このぽやぽのLv.12は流れ易い; int3 & fact5 -> hypothesis;
fact4 & fact1 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {B}{a}; int2 & fact2 -> int3: {C}{b}; int3 & fact5 -> hypothesis;
$facts$ = fact1: 何らかのモンスターはややこしいということはない fact2: あのみねみよLv.33が変化し易いとしたらこのぽやぽのLv.12は流れ易い fact3: 「ややこしい」モンスターはいる fact4: 仮に「ややこしくない」モンスターがいるとすればあのみねみよLv.33は戻し易いしそれは変化し易い fact5: 仮にこのぽやぽのLv.12が流れ易いとしたらこのぽやぽのLv.12は流し送る ; $hypothesis$ = このぽやぽのLv.12は流し送る ; $proof$ = 
fact4 & fact1 -> int1: あのみねみよLv.33は戻し易いしかつ変化し易い; int1 -> int2: あのみねみよLv.33は変化し易い; int2 & fact2 -> int3: このぽやぽのLv.12は流れ易い; int3 & fact5 -> hypothesis; __PROVED__
fact4 & fact1 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {B}{a}; int2 & fact2 -> int3: {C}{b}; int3 & fact5 -> hypothesis; __PROVED__