気付き易いということは発生しない
fact1: ぴのぴいLv.88事件はぷよぷわLv.56事件により生じる fact2: 「気忙しいということと運び易いということどちらもが起こる」ということは「気付き易いということは発生しない」ということをもたらす fact3: 気忙しいということが起きる fact4: 借り易いということが生じるかもしくはみくみゆLv.58事件が起こるかどちらもだ fact5: 運び易いということはぴのぴいLv.88事件が原因である fact6: 借り易いということはぷよぷわLv.56事件をもたらす fact7: みくみゆLv.58事件がぷよぷわLv.56事件は起きないということを阻む
fact4 & fact6 & fact7 -> int1: ぷよぷわLv.56事件が生じる; int1 & fact1 -> int2: ぴのぴいLv.88事件が発生する; int2 & fact5 -> int3: 「運び易いということが生じる」ということは正しい; int3 & fact3 -> int4: 気忙しいということが起きるしまた運び易いということが発生する; int4 & fact2 -> hypothesis;
fact4 & fact6 & fact7 -> int1: {C}; int1 & fact1 -> int2: {D}; int2 & fact5 -> int3: {E}; int3 & fact3 -> int4: ({F} & {E}); int4 & fact2 -> hypothesis;
$facts$ = fact1: ぴのぴいLv.88事件はぷよぷわLv.56事件により生じる fact2: 「気忙しいということと運び易いということどちらもが起こる」ということは「気付き易いということは発生しない」ということをもたらす fact3: 気忙しいということが起きる fact4: 借り易いということが生じるかもしくはみくみゆLv.58事件が起こるかどちらもだ fact5: 運び易いということはぴのぴいLv.88事件が原因である fact6: 借り易いということはぷよぷわLv.56事件をもたらす fact7: みくみゆLv.58事件がぷよぷわLv.56事件は起きないということを阻む ; $hypothesis$ = 気付き易いということは発生しない ; $proof$ = 
fact4 & fact6 & fact7 -> int1: ぷよぷわLv.56事件が生じる; int1 & fact1 -> int2: ぴのぴいLv.88事件が発生する; int2 & fact5 -> int3: 「運び易いということが生じる」ということは正しい; int3 & fact3 -> int4: 気忙しいということが起きるしまた運び易いということが発生する; int4 & fact2 -> hypothesis; __PROVED__
fact4 & fact6 & fact7 -> int1: {C}; int1 & fact1 -> int2: {D}; int2 & fact5 -> int3: {E}; int3 & fact3 -> int4: ({F} & {E}); int4 & fact2 -> hypothesis; __PROVED__