そのまちょまゆLv.48は内応しない
fact1: そのまちょまゆLv.48は連想し易いししかも強制連行する fact2: 「そのまちょまゆLv.48がキャッシュ化すればそのまちょまゆLv.48は積算する」ということは成り立つ fact3: もし「そのまちょまゆLv.48は清くて積算する」ということは成り立てば内応しない fact4: そのまちょまゆLv.48は清い fact5: もし仮にこのもにょもなLv.20が内応するとするとそのまちょまゆLv.48は内応する fact6: そのまちょまゆLv.48は連想し易い fact7: もしもそのまちょまゆLv.48は強制連行すれば「それはキャッシュ化する」ということは正しい
fact1 -> int1: そのまちょまゆLv.48は強制連行する; int1 & fact7 -> int2: そのまちょまゆLv.48はキャッシュ化する; int2 & fact2 -> int3: そのまちょまゆLv.48は積算する; int3 & fact4 -> int4: そのまちょまゆLv.48は清くて積算する; int4 & fact3 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact7 -> int2: {C}{a}; int2 & fact2 -> int3: {D}{a}; int3 & fact4 -> int4: ({E}{a} & {D}{a}); int4 & fact3 -> hypothesis;
そのまちょまゆLv.48は内応する
$facts$ = fact1: そのまちょまゆLv.48は連想し易いししかも強制連行する fact2: 「そのまちょまゆLv.48がキャッシュ化すればそのまちょまゆLv.48は積算する」ということは成り立つ fact3: もし「そのまちょまゆLv.48は清くて積算する」ということは成り立てば内応しない fact4: そのまちょまゆLv.48は清い fact5: もし仮にこのもにょもなLv.20が内応するとするとそのまちょまゆLv.48は内応する fact6: そのまちょまゆLv.48は連想し易い fact7: もしもそのまちょまゆLv.48は強制連行すれば「それはキャッシュ化する」ということは正しい ; $hypothesis$ = そのまちょまゆLv.48は内応しない ; $proof$ = 
fact1 -> int1: そのまちょまゆLv.48は強制連行する; int1 & fact7 -> int2: そのまちょまゆLv.48はキャッシュ化する; int2 & fact2 -> int3: そのまちょまゆLv.48は積算する; int3 & fact4 -> int4: そのまちょまゆLv.48は清くて積算する; int4 & fact3 -> hypothesis; __PROVED__
fact1 -> int1: {B}{a}; int1 & fact7 -> int2: {C}{a}; int2 & fact2 -> int3: {D}{a}; int3 & fact4 -> int4: ({E}{a} & {D}{a}); int4 & fact3 -> hypothesis; __PROVED__