「ぴにゃぴなLv.6事件かもしくはもえものLv.81事件かあるいは両方ともが起こる」ということは成り立つということはない
fact1: もし関係深いということは起きないとすればぴにゃぴなLv.6事件が起きるし考え深いということが起きる fact2: ぴちゅぴにゅLv.24事件が起きる fact3: 「関係深いということは起こらない」ということは「考え深いということが起きる」ということをもたらす fact4: 「運び易いということが生じる」ということは成り立つ fact5: もしぴちゅぴにゅLv.24事件および運び易いということが起きるとすると関係深いということは生じない
fact2 & fact4 -> int1: ぴちゅぴにゅLv.24事件および運び易いということが起こる; int1 & fact5 -> int2: 関係深いということは起きない; int2 & fact1 -> int3: ぴにゃぴなLv.6事件が起きるしまた考え深いということが起こる; int3 -> int4: ぴにゃぴなLv.6事件が発生する; int4 -> hypothesis;
fact2 & fact4 -> int1: ({A} & {B}); int1 & fact5 -> int2: ¬{C}; int2 & fact1 -> int3: ({E} & {D}); int3 -> int4: {E}; int4 -> hypothesis;
$facts$ = fact1: もし関係深いということは起きないとすればぴにゃぴなLv.6事件が起きるし考え深いということが起きる fact2: ぴちゅぴにゅLv.24事件が起きる fact3: 「関係深いということは起こらない」ということは「考え深いということが起きる」ということをもたらす fact4: 「運び易いということが生じる」ということは成り立つ fact5: もしぴちゅぴにゅLv.24事件および運び易いということが起きるとすると関係深いということは生じない ; $hypothesis$ = 「ぴにゃぴなLv.6事件かもしくはもえものLv.81事件かあるいは両方ともが起こる」ということは成り立つということはない ; $proof$ = 
fact2 & fact4 -> int1: ぴちゅぴにゅLv.24事件および運び易いということが起こる; int1 & fact5 -> int2: 関係深いということは起きない; int2 & fact1 -> int3: ぴにゃぴなLv.6事件が起きるしまた考え深いということが起こる; int3 -> int4: ぴにゃぴなLv.6事件が発生する; int4 -> hypothesis; __DISPROVED__
fact2 & fact4 -> int1: ({A} & {B}); int1 & fact5 -> int2: ¬{C}; int2 & fact1 -> int3: ({E} & {D}); int3 -> int4: {E}; int4 -> hypothesis; __DISPROVED__