「このみやみなLv.17は四角くてそれに生白い」ということは間違っている
fact1: もしあのまちゃまちゅLv.24が加工し易くないとすればこのみやみなLv.17は御伝え下さらなくて四角くない fact2: もし「あのまちょまやLv.16は加工し易くないかもしくはそれは御伝え下さるかあるいは両方である」ということは間違っているとしたらあのまちゃまちゅLv.24は御伝え下さるということはない fact3: 「このみやみなLv.17は生白い」ということは成り立つ fact4: このみやみなLv.17は四角い fact5: もしもあのまちゃまちゅLv.24は御伝え下さるということはないならば「このみやみなLv.17は四角くて更に生白い」ということは成り立たない fact6: もしもこのみやみなLv.17が四角いということはないとしたらあのもわもやLv.19は生白い
fact3 -> int1: 「このみやみなLv.17は生白い」ということは成り立つ; int1 & fact4 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact4 -> hypothesis;
あのもわもやLv.19は生白い
$facts$ = fact1: もしあのまちゃまちゅLv.24が加工し易くないとすればこのみやみなLv.17は御伝え下さらなくて四角くない fact2: もし「あのまちょまやLv.16は加工し易くないかもしくはそれは御伝え下さるかあるいは両方である」ということは間違っているとしたらあのまちゃまちゅLv.24は御伝え下さるということはない fact3: 「このみやみなLv.17は生白い」ということは成り立つ fact4: このみやみなLv.17は四角い fact5: もしもあのまちゃまちゅLv.24は御伝え下さるということはないならば「このみやみなLv.17は四角くて更に生白い」ということは成り立たない fact6: もしもこのみやみなLv.17が四角いということはないとしたらあのもわもやLv.19は生白い ; $hypothesis$ = 「このみやみなLv.17は四角くてそれに生白い」ということは間違っている ; $proof$ = 
fact3 -> int1: 「このみやみなLv.17は生白い」ということは成り立つ; int1 & fact4 -> hypothesis; __DISPROVED__
fact3 -> int1: {A}{a}; int1 & fact4 -> hypothesis; __DISPROVED__