このみよみちゃLv.81は走り切る
fact1: あのぴわぴくLv.10は大人しない fact2: 仮にこのぽゆぽなLv.11が清しということはないとしたらこのもわもわLv.40は疑わしい fact3: 「あのぴわぴくLv.10は疑わしい」ということは正しい fact4: もしあのぴわぴくLv.10が大人しないならばこのぽゆぽなLv.11は清しない fact5: もし仮にこのもわもわLv.40が慎ましいとするとこのみよみちゃLv.81は走り切る
fact4 & fact1 -> int1: このぽゆぽなLv.11は清しない; int1 & fact2 -> int2: このもわもわLv.40は疑わしい;
fact4 & fact1 -> int1: ¬{B}{b}; int1 & fact2 -> int2: {C}{c};
$facts$ = fact1: あのぴわぴくLv.10は大人しない fact2: 仮にこのぽゆぽなLv.11が清しということはないとしたらこのもわもわLv.40は疑わしい fact3: 「あのぴわぴくLv.10は疑わしい」ということは正しい fact4: もしあのぴわぴくLv.10が大人しないならばこのぽゆぽなLv.11は清しない fact5: もし仮にこのもわもわLv.40が慎ましいとするとこのみよみちゃLv.81は走り切る ; $hypothesis$ = このみよみちゃLv.81は走り切る ; $proof$ = 
__UNKNOWN__
__UNKNOWN__