あのぷちゃぷわLv.81は結び付き易くない
fact1: もし仮に「このぷいぷやLv.0は御偉い」ということは成り立つとするとこのぷいぷやLv.0は大喜びしない fact2: 仮にこのまにょまねLv.3が指定するしそれがぎごちないとすればあのぷちゃぷわLv.81は結び付き易い fact3: もしこのまくまやLv.77が気高いとすれば手厳しい fact4: もしこのぷいぷやLv.0が御偉いならばそれは見窄らしくないし更に大喜びしない fact5: もし仮にこのぷいぷやLv.0が見窄らしくないけれど大喜びするとするとこのまくまやLv.77は気高い fact6: もしこのまにょまねLv.3が指定する一方でぎごちなくないとすればあのぷちゃぷわLv.81は結び付き易い fact7: このまにょまねLv.3はぎごちなくない fact8: もしこのまくまやLv.77が手厳しいとすればこのまにょまねLv.3は指定するけれどそれはぎごちなくない fact9: このぷいぷやLv.0は御偉い
fact4 & fact9 -> int1: このぷいぷやLv.0は見窄らしくないし加えてそれは大喜びしない;
fact4 & fact9 -> int1: (¬{AA}{a} & ¬{AB}{a});
$facts$ = fact1: もし仮に「このぷいぷやLv.0は御偉い」ということは成り立つとするとこのぷいぷやLv.0は大喜びしない fact2: 仮にこのまにょまねLv.3が指定するしそれがぎごちないとすればあのぷちゃぷわLv.81は結び付き易い fact3: もしこのまくまやLv.77が気高いとすれば手厳しい fact4: もしこのぷいぷやLv.0が御偉いならばそれは見窄らしくないし更に大喜びしない fact5: もし仮にこのぷいぷやLv.0が見窄らしくないけれど大喜びするとするとこのまくまやLv.77は気高い fact6: もしこのまにょまねLv.3が指定する一方でぎごちなくないとすればあのぷちゃぷわLv.81は結び付き易い fact7: このまにょまねLv.3はぎごちなくない fact8: もしこのまくまやLv.77が手厳しいとすればこのまにょまねLv.3は指定するけれどそれはぎごちなくない fact9: このぷいぷやLv.0は御偉い ; $hypothesis$ = あのぷちゃぷわLv.81は結び付き易くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__