「このみちゅみゆLv.18はむず痒くない」ということは成り立つ
fact1: 「気持ち良いモンスターはむず痒い」ということは確かである fact2: あのぴねぴいLv.31は打刻する fact3: もしあのまにょまちゅLv.52がすんごいとしたらあのぴねぴいLv.31は憎たらしい fact4: もし仮にあのぴねぴいLv.31が憎たらしくて打刻するとするとこのみちゅみゆLv.18はむず痒くない fact5: 「このぽにゅぽなLv.71は憎たらしいしすんごい」ということは成り立たないならばこのぽにゅぽなLv.71は抉り出さない fact6: このぽにゅぽなLv.71が気持ち良いとすればあのまにょまちゅLv.52は抉り出す fact7: このぽにゅぽなLv.71は気持ち良い fact8: 仮にあのまにょまちゅLv.52が抉り出せばあのまにょまちゅLv.52はすんごい
fact6 & fact7 -> int1: あのまにょまちゅLv.52は抉り出す; int1 & fact8 -> int2: あのまにょまちゅLv.52はすんごい; int2 & fact3 -> int3: あのぴねぴいLv.31は憎たらしい; int3 & fact2 -> int4: あのぴねぴいLv.31は憎たらしくて更に打刻する; int4 & fact4 -> hypothesis;
fact6 & fact7 -> int1: {B}{b}; int1 & fact8 -> int2: {C}{b}; int2 & fact3 -> int3: {D}{c}; int3 & fact2 -> int4: ({D}{c} & {E}{c}); int4 & fact4 -> hypothesis;
このみちゅみゆLv.18はむず痒い
fact9 -> int5: もしこのみちゅみゆLv.18が気持ち良いとしたらこのみちゅみゆLv.18はむず痒い;
$facts$ = fact1: 「気持ち良いモンスターはむず痒い」ということは確かである fact2: あのぴねぴいLv.31は打刻する fact3: もしあのまにょまちゅLv.52がすんごいとしたらあのぴねぴいLv.31は憎たらしい fact4: もし仮にあのぴねぴいLv.31が憎たらしくて打刻するとするとこのみちゅみゆLv.18はむず痒くない fact5: 「このぽにゅぽなLv.71は憎たらしいしすんごい」ということは成り立たないならばこのぽにゅぽなLv.71は抉り出さない fact6: このぽにゅぽなLv.71が気持ち良いとすればあのまにょまちゅLv.52は抉り出す fact7: このぽにゅぽなLv.71は気持ち良い fact8: 仮にあのまにょまちゅLv.52が抉り出せばあのまにょまちゅLv.52はすんごい ; $hypothesis$ = 「このみちゅみゆLv.18はむず痒くない」ということは成り立つ ; $proof$ = 
fact6 & fact7 -> int1: あのまにょまちゅLv.52は抉り出す; int1 & fact8 -> int2: あのまにょまちゅLv.52はすんごい; int2 & fact3 -> int3: あのぴねぴいLv.31は憎たらしい; int3 & fact2 -> int4: あのぴねぴいLv.31は憎たらしくて更に打刻する; int4 & fact4 -> hypothesis; __PROVED__
fact6 & fact7 -> int1: {B}{b}; int1 & fact8 -> int2: {C}{b}; int2 & fact3 -> int3: {D}{c}; int3 & fact2 -> int4: ({D}{c} & {E}{c}); int4 & fact4 -> hypothesis; __PROVED__