あのまにまのLv.3は捕まえ易くてまためぼしい
fact1: あのまにまのLv.3はめぼしい fact2: もし仮にあのまにまのLv.3が探し易いしそれが落ち易いならばあのもちょもなLv.65はめぼしくない fact3: もしもあのまにまのLv.3が長期滞在するとすればあのまにまのLv.3は捕まえ易い fact4: あのまにまのLv.3は借り易くてさらにそれは長期滞在する fact5: もしあのもちょもなLv.65はめぼしくないならば「長期滞在するししかもそれは借り易くない」ということは成り立つということはない fact6: もし仮にこのぽのぽよLv.71は探し易いということはないとすれば「あのまにまのLv.3は探し易い」ということは確かである
fact4 -> int1: あのまにまのLv.3は長期滞在する; int1 & fact3 -> int2: あのまにまのLv.3は捕まえ易い; int2 & fact1 -> hypothesis;
fact4 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact1 -> hypothesis;
あのもちょもなLv.65は捕まえ易い
$facts$ = fact1: あのまにまのLv.3はめぼしい fact2: もし仮にあのまにまのLv.3が探し易いしそれが落ち易いならばあのもちょもなLv.65はめぼしくない fact3: もしもあのまにまのLv.3が長期滞在するとすればあのまにまのLv.3は捕まえ易い fact4: あのまにまのLv.3は借り易くてさらにそれは長期滞在する fact5: もしあのもちょもなLv.65はめぼしくないならば「長期滞在するししかもそれは借り易くない」ということは成り立つということはない fact6: もし仮にこのぽのぽよLv.71は探し易いということはないとすれば「あのまにまのLv.3は探し易い」ということは確かである ; $hypothesis$ = あのまにまのLv.3は捕まえ易くてまためぼしい ; $proof$ = 
fact4 -> int1: あのまにまのLv.3は長期滞在する; int1 & fact3 -> int2: あのまにまのLv.3は捕まえ易い; int2 & fact1 -> hypothesis; __PROVED__
fact4 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact1 -> hypothesis; __PROVED__