誘導することが起きるししかも観測することが発生する
fact1: 観測することが生じる fact2: 赤いということは「誘導することは起きない」ということを回避する fact3: 「空売りすることは発生するけどぷにゃぷねLv.38事件は起きない」ということは成り立たない fact4: 仮に「空売りすることが起こる一方でぷにゃぷねLv.38事件は起こらない」ということは成り立つということはないとしたら赤いということが起こる
fact4 & fact3 -> int1: 赤いということが生じる; int1 & fact2 -> int2: 誘導することが発生する; int2 & fact1 -> hypothesis;
fact4 & fact3 -> int1: {B}; int1 & fact2 -> int2: {A}; int2 & fact1 -> hypothesis;
$facts$ = fact1: 観測することが生じる fact2: 赤いということは「誘導することは起きない」ということを回避する fact3: 「空売りすることは発生するけどぷにゃぷねLv.38事件は起きない」ということは成り立たない fact4: 仮に「空売りすることが起こる一方でぷにゃぷねLv.38事件は起こらない」ということは成り立つということはないとしたら赤いということが起こる ; $hypothesis$ = 誘導することが起きるししかも観測することが発生する ; $proof$ = 
fact4 & fact3 -> int1: 赤いということが生じる; int1 & fact2 -> int2: 誘導することが発生する; int2 & fact1 -> hypothesis; __PROVED__
fact4 & fact3 -> int1: {B}; int1 & fact2 -> int2: {A}; int2 & fact1 -> hypothesis; __PROVED__