説明し易いということは発生しない
fact1: もよもわLv.25事件が起きる fact2: 気触れることが起こる fact3: 気触れることはぴいぴちょLv.54事件の原因となる fact4: ぴいぴちょLv.54事件は取っ付き難いということが生じるということを生じさせる fact5: 「取っ付き難いということが起こるしもよもわLv.25事件が生じる」ということは「説明し易いということが起きる」ということを阻止する fact6: もし仮に気怠いということが生じるし加えて骨っぽいということが発生するなら見付け難いということは生じない
fact3 & fact2 -> int1: ぴいぴちょLv.54事件が起きる; int1 & fact4 -> int2: 取っ付き難いということが起こる; int2 & fact1 -> int3: 取っ付き難いということが起きるしもよもわLv.25事件が発生する; int3 & fact5 -> hypothesis;
fact3 & fact2 -> int1: {B}; int1 & fact4 -> int2: {C}; int2 & fact1 -> int3: ({C} & {D}); int3 & fact5 -> hypothesis;
$facts$ = fact1: もよもわLv.25事件が起きる fact2: 気触れることが起こる fact3: 気触れることはぴいぴちょLv.54事件の原因となる fact4: ぴいぴちょLv.54事件は取っ付き難いということが生じるということを生じさせる fact5: 「取っ付き難いということが起こるしもよもわLv.25事件が生じる」ということは「説明し易いということが起きる」ということを阻止する fact6: もし仮に気怠いということが生じるし加えて骨っぽいということが発生するなら見付け難いということは生じない ; $hypothesis$ = 説明し易いということは発生しない ; $proof$ = 
fact3 & fact2 -> int1: ぴいぴちょLv.54事件が起きる; int1 & fact4 -> int2: 取っ付き難いということが起こる; int2 & fact1 -> int3: 取っ付き難いということが起きるしもよもわLv.25事件が発生する; int3 & fact5 -> hypothesis; __PROVED__
fact3 & fact2 -> int1: {B}; int1 & fact4 -> int2: {C}; int2 & fact1 -> int3: ({C} & {D}); int3 & fact5 -> hypothesis; __PROVED__