利用され易いということは発生しない
fact1: 「成り難いということは発生しない」ということはまちょまゆLv.13事件および揺れることが生じるの原因となる fact2: もなもいLv.77事件が起こる fact3: 仮に「揺れることともなもいLv.77事件両方ともが生じる」ということは成り立つとすれば利用され易いということは発生しない fact4: 成り難いということは起きない
fact4 & fact1 -> int1: まちょまゆLv.13事件が起きるし揺れることが起こる; int1 -> int2: 揺れることが発生する; int2 & fact2 -> int3: 揺れることともなもいLv.77事件が生じる; int3 & fact3 -> hypothesis;
fact4 & fact1 -> int1: ({A} & {B}); int1 -> int2: {B}; int2 & fact2 -> int3: ({B} & {C}); int3 & fact3 -> hypothesis;
$facts$ = fact1: 「成り難いということは発生しない」ということはまちょまゆLv.13事件および揺れることが生じるの原因となる fact2: もなもいLv.77事件が起こる fact3: 仮に「揺れることともなもいLv.77事件両方ともが生じる」ということは成り立つとすれば利用され易いということは発生しない fact4: 成り難いということは起きない ; $hypothesis$ = 利用され易いということは発生しない ; $proof$ = 
fact4 & fact1 -> int1: まちょまゆLv.13事件が起きるし揺れることが起こる; int1 -> int2: 揺れることが発生する; int2 & fact2 -> int3: 揺れることともなもいLv.77事件が生じる; int3 & fact3 -> hypothesis; __PROVED__
fact4 & fact1 -> int1: ({A} & {B}); int1 -> int2: {B}; int2 & fact2 -> int3: ({B} & {C}); int3 & fact3 -> hypothesis; __PROVED__