通じ難いということが起きる
fact1: 「湧き上ることが起きるかもしくは変え難いということが起こるかあるいは両方だ」ということは通じ難いということは生じないということをもたらす fact2: まちゃまえLv.89事件が起こるかもしくはみちょみのLv.9事件が発生する fact3: 湧き上ることが生じる
fact3 -> int1: 湧き上ることが発生するかまたは変え難いということが起きる; int1 & fact1 -> hypothesis;
fact3 -> int1: ({A} v {B}); int1 & fact1 -> hypothesis;
$facts$ = fact1: 「湧き上ることが起きるかもしくは変え難いということが起こるかあるいは両方だ」ということは通じ難いということは生じないということをもたらす fact2: まちゃまえLv.89事件が起こるかもしくはみちょみのLv.9事件が発生する fact3: 湧き上ることが生じる ; $hypothesis$ = 通じ難いということが起きる ; $proof$ = 
fact3 -> int1: 湧き上ることが発生するかまたは変え難いということが起きる; int1 & fact1 -> hypothesis; __DISPROVED__
fact3 -> int1: ({A} v {B}); int1 & fact1 -> hypothesis; __DISPROVED__