このまちょまちゃLv.9は小憎らしい
fact1: あのぽのぽにLv.85は移り易くてまた軟らかい fact2: もしもあのぷえぷちゅLv.1は意地悪くないとすると「あのぷえぷちゅLv.1は悪くてそれに移り易い」ということは成り立たない fact3: あのぽのぽにLv.85は移り易いならば「悪い」ということは成り立つ fact4: あのぽのぽにLv.85は軟らかい fact5: あのぷえぷちゅLv.1は意地悪くない fact6: もしもあのぽのぽにLv.85が悪いとするとこのまちょまちゃLv.9は小憎らしい fact7: 「そのぴちゃぴのLv.75は移り易い」ということは本当である
fact1 -> int1: あのぽのぽにLv.85は移り易い; int1 & fact3 -> int2: あのぽのぽにLv.85は悪い; int2 & fact6 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact6 -> hypothesis;
このまちょまちゃLv.9は小憎らしくない
fact8 & fact9 -> int3: 「あのぷえぷちゅLv.1は悪いしおまけに移り易い」ということは間違っている; int3 -> int4: 「「悪いし移り易い」ということは成り立たない」モンスターはいる;
$facts$ = fact1: あのぽのぽにLv.85は移り易くてまた軟らかい fact2: もしもあのぷえぷちゅLv.1は意地悪くないとすると「あのぷえぷちゅLv.1は悪くてそれに移り易い」ということは成り立たない fact3: あのぽのぽにLv.85は移り易いならば「悪い」ということは成り立つ fact4: あのぽのぽにLv.85は軟らかい fact5: あのぷえぷちゅLv.1は意地悪くない fact6: もしもあのぽのぽにLv.85が悪いとするとこのまちょまちゃLv.9は小憎らしい fact7: 「そのぴちゃぴのLv.75は移り易い」ということは本当である ; $hypothesis$ = このまちょまちゃLv.9は小憎らしい ; $proof$ = 
fact1 -> int1: あのぽのぽにLv.85は移り易い; int1 & fact3 -> int2: あのぽのぽにLv.85は悪い; int2 & fact6 -> hypothesis; __PROVED__
fact1 -> int1: {A}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact6 -> hypothesis; __PROVED__