そのもやもちゅLv.37は御忙しい
fact1: もしそのもわもちゅLv.20が根気良いとすればそのぷねぷくLv.69は卑しい fact2: そのもわもちゅLv.20は卑しいし左右され易い fact3: そのぷねぷくLv.69が卑しいかあるいはそれは左右され易いかもしくは両方ともであるならば「そのもやもちゅLv.37は御忙しくない」ということは成り立つ fact4: もしそのもわもちゅLv.20が卑しいがしかしそれが反映され易いということはないならそのもやもちゅLv.37は卑しくない fact5: 卑しくないモンスターは御忙しいししかも根気良い fact6: そのもわもちゅLv.20は根気良い fact7: もし仮にそのぷねぷくLv.69は左右され易いなら「そのもわもちゅLv.20は卑しいということはない」ということは本当である fact8: そのぷねぷくLv.69は左右され易いかもしくはそれは御忙しい
fact1 & fact6 -> int1: 「そのぷねぷくLv.69は卑しい」ということは偽でない; int1 -> int2: そのぷねぷくLv.69は卑しいか左右され易いかまたはどちらもである; int2 & fact3 -> hypothesis;
fact1 & fact6 -> int1: {B}{b}; int1 -> int2: ({B}{b} v {C}{b}); int2 & fact3 -> hypothesis;
そのもやもちゅLv.37は御忙しい
fact10 -> int3: もしそのもやもちゅLv.37が卑しいということはないとするとそのもやもちゅLv.37は御忙しいし根気良い; fact11 -> int4: そのもわもちゅLv.20は卑しい;
$facts$ = fact1: もしそのもわもちゅLv.20が根気良いとすればそのぷねぷくLv.69は卑しい fact2: そのもわもちゅLv.20は卑しいし左右され易い fact3: そのぷねぷくLv.69が卑しいかあるいはそれは左右され易いかもしくは両方ともであるならば「そのもやもちゅLv.37は御忙しくない」ということは成り立つ fact4: もしそのもわもちゅLv.20が卑しいがしかしそれが反映され易いということはないならそのもやもちゅLv.37は卑しくない fact5: 卑しくないモンスターは御忙しいししかも根気良い fact6: そのもわもちゅLv.20は根気良い fact7: もし仮にそのぷねぷくLv.69は左右され易いなら「そのもわもちゅLv.20は卑しいということはない」ということは本当である fact8: そのぷねぷくLv.69は左右され易いかもしくはそれは御忙しい ; $hypothesis$ = そのもやもちゅLv.37は御忙しい ; $proof$ = 
fact1 & fact6 -> int1: 「そのぷねぷくLv.69は卑しい」ということは偽でない; int1 -> int2: そのぷねぷくLv.69は卑しいか左右され易いかまたはどちらもである; int2 & fact3 -> hypothesis; __DISPROVED__
fact1 & fact6 -> int1: {B}{b}; int1 -> int2: ({B}{b} v {C}{b}); int2 & fact3 -> hypothesis; __DISPROVED__