そのもねもいLv.77は赴く
fact1: 「このぴにゅぴにょLv.96は赴く」ということは正しい fact2: 仮にあのまちゃまちゅLv.42が粋がるししかもそれが可愛らしいならそのもねもいLv.77は赴かない fact3: もしもあるモンスターがのさばるとしたらそれは粋がる fact4: もしそのもねもいLv.77が粋がるとすればそれは赴く fact5: 仮にそのぴちゅぴにLv.16はのさばるとすると「あのまちゃまちゅLv.42はのさばる」ということは成り立つ fact6: そのもねもいLv.77は粋がる fact7: そのぴちゅぴにLv.16はのさばる
fact6 -> int1: そのもねもいLv.77は粋がる; int1 & fact4 -> hypothesis;
fact6 -> int1: {A}{a}; int1 & fact4 -> hypothesis;
そのもねもいLv.77は赴かない
fact8 -> int2: もし仮にあのまちゃまちゅLv.42がのさばるとするとあのまちゃまちゅLv.42は粋がる; fact11 & fact9 -> int3: あのまちゃまちゅLv.42はのさばる; int2 & int3 -> int4: あのまちゃまちゅLv.42は粋がる;
$facts$ = fact1: 「このぴにゅぴにょLv.96は赴く」ということは正しい fact2: 仮にあのまちゃまちゅLv.42が粋がるししかもそれが可愛らしいならそのもねもいLv.77は赴かない fact3: もしもあるモンスターがのさばるとしたらそれは粋がる fact4: もしそのもねもいLv.77が粋がるとすればそれは赴く fact5: 仮にそのぴちゅぴにLv.16はのさばるとすると「あのまちゃまちゅLv.42はのさばる」ということは成り立つ fact6: そのもねもいLv.77は粋がる fact7: そのぴちゅぴにLv.16はのさばる ; $hypothesis$ = そのもねもいLv.77は赴く ; $proof$ = 
fact6 -> int1: そのもねもいLv.77は粋がる; int1 & fact4 -> hypothesis; __PROVED__
fact6 -> int1: {A}{a}; int1 & fact4 -> hypothesis; __PROVED__