そのもわもにゅLv.73は使用し易くない
fact1: もし「このみちゅみゆLv.30は坐すがしかしそれは変化し易くない」ということは成り立つということはないとするとあのもくもわLv.17は入り易い fact2: 「あのもくもわLv.17は変化し易くない」ということは真実だとすればこのみちゅみゆLv.30は入り易い fact3: 「このみちゅみゆLv.30は坐すがしかし変化し易いということはない」ということは偽だ fact4: あのもくもわLv.17が入り易くないかあるいはそれが使用し易くないならばこのみちゅみゆLv.30は使用し易くない fact5: そのぷよぷいLv.37は坐す
fact1 & fact3 -> int1: あのもくもわLv.17は入り易い;
fact1 & fact3 -> int1: {B}{b};
そのもわもにゅLv.73は使用し易くない
$facts$ = fact1: もし「このみちゅみゆLv.30は坐すがしかしそれは変化し易くない」ということは成り立つということはないとするとあのもくもわLv.17は入り易い fact2: 「あのもくもわLv.17は変化し易くない」ということは真実だとすればこのみちゅみゆLv.30は入り易い fact3: 「このみちゅみゆLv.30は坐すがしかし変化し易いということはない」ということは偽だ fact4: あのもくもわLv.17が入り易くないかあるいはそれが使用し易くないならばこのみちゅみゆLv.30は使用し易くない fact5: そのぷよぷいLv.37は坐す ; $hypothesis$ = そのもわもにゅLv.73は使用し易くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__