このみにみわLv.72は易し
fact1: もし「このぽやぽいLv.5は疑い深い」ということは真実ならばこのみゆみよLv.65は吸収し易い fact2: もしこのみゆみよLv.65が明るいとするとこのみにみわLv.72は易しということはない fact3: 疑い深いモンスターは易し fact4: このみゆみよLv.65が吸収し易いかそれが明るいかまたは両方ともであるとするとこのみにみわLv.72は易しということはない fact5: もしもこのぽやぽいLv.5が疑い深いが吸収し易くないとしたらこのみにみわLv.72は疑い深い fact6: このぽやぽいLv.5が形成し易いならばこのぽやぽいLv.5は疑い深い fact7: このぽやぽいLv.5は形成し易い
fact6 & fact7 -> int1: 「このぽやぽいLv.5は疑い深い」ということは成り立つ; fact1 & int1 -> int2: このみゆみよLv.65は吸収し易い; int2 -> int3: このみゆみよLv.65は吸収し易いかあるいは明るい; int3 & fact4 -> hypothesis;
fact6 & fact7 -> int1: {A}{a}; fact1 & int1 -> int2: {B}{b}; int2 -> int3: ({B}{b} v {C}{b}); int3 & fact4 -> hypothesis;
このみにみわLv.72は易し
fact9 -> int4: もしもこのみにみわLv.72が疑い深いなら易し;
$facts$ = fact1: もし「このぽやぽいLv.5は疑い深い」ということは真実ならばこのみゆみよLv.65は吸収し易い fact2: もしこのみゆみよLv.65が明るいとするとこのみにみわLv.72は易しということはない fact3: 疑い深いモンスターは易し fact4: このみゆみよLv.65が吸収し易いかそれが明るいかまたは両方ともであるとするとこのみにみわLv.72は易しということはない fact5: もしもこのぽやぽいLv.5が疑い深いが吸収し易くないとしたらこのみにみわLv.72は疑い深い fact6: このぽやぽいLv.5が形成し易いならばこのぽやぽいLv.5は疑い深い fact7: このぽやぽいLv.5は形成し易い ; $hypothesis$ = このみにみわLv.72は易し ; $proof$ = 
fact6 & fact7 -> int1: 「このぽやぽいLv.5は疑い深い」ということは成り立つ; fact1 & int1 -> int2: このみゆみよLv.65は吸収し易い; int2 -> int3: このみゆみよLv.65は吸収し易いかあるいは明るい; int3 & fact4 -> hypothesis; __DISPROVED__
fact6 & fact7 -> int1: {A}{a}; fact1 & int1 -> int2: {B}{b}; int2 -> int3: ({B}{b} v {C}{b}); int3 & fact4 -> hypothesis; __DISPROVED__