敷き詰めることが起きる
fact1: もし仮にぴわぴよLv.51事件は起きないとしたら御優しいということおよび敷き詰めること両方が起こる fact2: 「付き易いということは生じない」ということはぴわぴよLv.51事件は起こらないということに誘発される fact3: もしぴわぴよLv.51事件は生じないならば付き易いということが起きる fact4: 敷き詰めることはぷにゅぷいLv.48事件に防がれる fact5: 「父親らしいということとぷにゅぷいLv.48事件が発生する」ということは誤りだ fact6: 「御優しいということは生じない」ということは付き易いということを防ぐ fact7: もし仮に「父親らしいということは発生するしぷにゅぷいLv.48事件は起こらない」ということは間違いであるとしたら敷き詰めることは生じない fact8: 御優しいということは起きないかもしくはぴわぴよLv.51事件は起きない
fact8 & fact6 & fact2 -> int1: 付き易いということは生じない;
fact8 & fact6 & fact2 -> int1: ¬{C};
敷き詰めることが起きる
$facts$ = fact1: もし仮にぴわぴよLv.51事件は起きないとしたら御優しいということおよび敷き詰めること両方が起こる fact2: 「付き易いということは生じない」ということはぴわぴよLv.51事件は起こらないということに誘発される fact3: もしぴわぴよLv.51事件は生じないならば付き易いということが起きる fact4: 敷き詰めることはぷにゅぷいLv.48事件に防がれる fact5: 「父親らしいということとぷにゅぷいLv.48事件が発生する」ということは誤りだ fact6: 「御優しいということは生じない」ということは付き易いということを防ぐ fact7: もし仮に「父親らしいということは発生するしぷにゅぷいLv.48事件は起こらない」ということは間違いであるとしたら敷き詰めることは生じない fact8: 御優しいということは起きないかもしくはぴわぴよLv.51事件は起きない ; $hypothesis$ = 敷き詰めることが起きる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__