「ブラバスらしいということが起きるし起こり易いということが発生する」ということは誤りだ
fact1: 置き易いということはブラバスらしいということをもたらす fact2: 置き易いということと影響され易いということが発生する fact3: 起こり易いということが起こる
fact2 -> int1: 置き易いということが起きる; int1 & fact1 -> int2: ブラバスらしいということが発生する; int2 & fact3 -> hypothesis;
fact2 -> int1: {A}; int1 & fact1 -> int2: {C}; int2 & fact3 -> hypothesis;
$facts$ = fact1: 置き易いということはブラバスらしいということをもたらす fact2: 置き易いということと影響され易いということが発生する fact3: 起こり易いということが起こる ; $hypothesis$ = 「ブラバスらしいということが起きるし起こり易いということが発生する」ということは誤りだ ; $proof$ = 
fact2 -> int1: 置き易いということが起きる; int1 & fact1 -> int2: ブラバスらしいということが発生する; int2 & fact3 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}; int1 & fact1 -> int2: {C}; int2 & fact3 -> hypothesis; __DISPROVED__