そのぷやぷにLv.43は得られ易くない
fact1: もし仮にそのぷやぷにLv.43は独立するし面倒臭いなら得られ易くない fact2: 「そのぷやぷにLv.43は面倒臭い」ということは成り立つ fact3: そのぷやぷにLv.43は想到するし納得し易いとすると「それは馬鹿馬鹿しいということはない」ということは確かだ fact4: そのぴゆぴえLv.88は独立しない fact5: 惨くないモンスターは面倒臭いし得られ易い fact6: そのぷやぷにLv.43は独立する
fact6 & fact2 -> int1: そのぷやぷにLv.43は独立するしおまけに面倒臭い; int1 & fact1 -> hypothesis;
fact6 & fact2 -> int1: ({A}{a} & {B}{a}); int1 & fact1 -> hypothesis;
このみねみにLv.26は独立する
fact7 -> int2: もしもこのみねみにLv.26が惨くないとしたらこのみねみにLv.26は面倒臭くて得られ易い;
$facts$ = fact1: もし仮にそのぷやぷにLv.43は独立するし面倒臭いなら得られ易くない fact2: 「そのぷやぷにLv.43は面倒臭い」ということは成り立つ fact3: そのぷやぷにLv.43は想到するし納得し易いとすると「それは馬鹿馬鹿しいということはない」ということは確かだ fact4: そのぴゆぴえLv.88は独立しない fact5: 惨くないモンスターは面倒臭いし得られ易い fact6: そのぷやぷにLv.43は独立する ; $hypothesis$ = そのぷやぷにLv.43は得られ易くない ; $proof$ = 
fact6 & fact2 -> int1: そのぷやぷにLv.43は独立するしおまけに面倒臭い; int1 & fact1 -> hypothesis; __PROVED__
fact6 & fact2 -> int1: ({A}{a} & {B}{a}); int1 & fact1 -> hypothesis; __PROVED__