そのみちゃみいLv.86はすごーくない
fact1: 仮にこのもわもちゅLv.38が辛抱強い一方でそれが飲み掛けないとすればこのまちょまにゃLv.29は無し fact2: もしもこのまちょまにゃLv.29が飲み掛けるしそれが辛抱強いとすればこのもわもちゅLv.38は広がり易い fact3: もし仮にこのまちょまにゃLv.29が無しとしたらこのまちょまにゃLv.29は広がり易い fact4: もし「とあるモンスターは無しないしそれに広がり易くない」ということは成り立たないとすればすごーいということはない fact5: もしもそのみちゃみいLv.86がすごーいしそれに辛抱強いならこのもわもちゅLv.38は無し fact6: このもわもちゅLv.38は辛抱強いが飲み掛けない fact7: そのみちゃみいLv.86は飲み掛けるし辛抱強いとすると「このもわもちゅLv.38はすごーくない」ということは成り立たない fact8: このまちょまにゃLv.29が広がり易いがしかしすごーくないならばこのもわもちゅLv.38は辛抱強い fact9: このまちょまにゃLv.29が広がり易いとすればそのみちゃみいLv.86はすごーい
fact1 & fact6 -> int1: このまちょまにゃLv.29は無し; int1 & fact3 -> int2: このまちょまにゃLv.29は広がり易い; int2 & fact9 -> hypothesis;
fact1 & fact6 -> int1: {B}{b}; int1 & fact3 -> int2: {A}{b}; int2 & fact9 -> hypothesis;
そのみちゃみいLv.86はすごーくない
fact10 -> int3: もし「そのみちゃみいLv.86は無しないし広がり易くない」ということは成り立たないとするとそのみちゃみいLv.86はすごーくない;
$facts$ = fact1: 仮にこのもわもちゅLv.38が辛抱強い一方でそれが飲み掛けないとすればこのまちょまにゃLv.29は無し fact2: もしもこのまちょまにゃLv.29が飲み掛けるしそれが辛抱強いとすればこのもわもちゅLv.38は広がり易い fact3: もし仮にこのまちょまにゃLv.29が無しとしたらこのまちょまにゃLv.29は広がり易い fact4: もし「とあるモンスターは無しないしそれに広がり易くない」ということは成り立たないとすればすごーいということはない fact5: もしもそのみちゃみいLv.86がすごーいしそれに辛抱強いならこのもわもちゅLv.38は無し fact6: このもわもちゅLv.38は辛抱強いが飲み掛けない fact7: そのみちゃみいLv.86は飲み掛けるし辛抱強いとすると「このもわもちゅLv.38はすごーくない」ということは成り立たない fact8: このまちょまにゃLv.29が広がり易いがしかしすごーくないならばこのもわもちゅLv.38は辛抱強い fact9: このまちょまにゃLv.29が広がり易いとすればそのみちゃみいLv.86はすごーい ; $hypothesis$ = そのみちゃみいLv.86はすごーくない ; $proof$ = 
fact1 & fact6 -> int1: このまちょまにゃLv.29は無し; int1 & fact3 -> int2: このまちょまにゃLv.29は広がり易い; int2 & fact9 -> hypothesis; __DISPROVED__
fact1 & fact6 -> int1: {B}{b}; int1 & fact3 -> int2: {A}{b}; int2 & fact9 -> hypothesis; __DISPROVED__