空恐ろしいということが起きる
fact1: 「辛抱強いということが起きる」ということは本当だ fact2: 誘発し易いということは安しということは起こらないということを阻む fact3: 「もちゃもにょLv.46事件が起きる」ということは正しい fact4: 安しということはきついということに繋がる fact5: もしも「きついということともちゃもにょLv.46事件が起こる」ということは真実だとすれば「空恐ろしいということは生じない」ということは成り立つ fact6: もしも辛抱強いということは起こらないとしたら空恐ろしいということと誘発し易いということ両方が生じる fact7: 誘発し易いということが発生するしまた辛抱強いということが起きる
fact7 -> int1: 誘発し易いということが起こる; int1 & fact2 -> int2: 安しということが生じる; int2 & fact4 -> int3: きついということが発生する; int3 & fact3 -> int4: きついということおよびもちゃもにょLv.46事件両方が起きる; int4 & fact5 -> hypothesis;
fact7 -> int1: {A}; int1 & fact2 -> int2: {C}; int2 & fact4 -> int3: {D}; int3 & fact3 -> int4: ({D} & {E}); int4 & fact5 -> hypothesis;
空恐ろしいということが起きる
$facts$ = fact1: 「辛抱強いということが起きる」ということは本当だ fact2: 誘発し易いということは安しということは起こらないということを阻む fact3: 「もちゃもにょLv.46事件が起きる」ということは正しい fact4: 安しということはきついということに繋がる fact5: もしも「きついということともちゃもにょLv.46事件が起こる」ということは真実だとすれば「空恐ろしいということは生じない」ということは成り立つ fact6: もしも辛抱強いということは起こらないとしたら空恐ろしいということと誘発し易いということ両方が生じる fact7: 誘発し易いということが発生するしまた辛抱強いということが起きる ; $hypothesis$ = 空恐ろしいということが起きる ; $proof$ = 
fact7 -> int1: 誘発し易いということが起こる; int1 & fact2 -> int2: 安しということが生じる; int2 & fact4 -> int3: きついということが発生する; int3 & fact3 -> int4: きついということおよびもちゃもにょLv.46事件両方が起きる; int4 & fact5 -> hypothesis; __DISPROVED__
fact7 -> int1: {A}; int1 & fact2 -> int2: {C}; int2 & fact4 -> int3: {D}; int3 & fact3 -> int4: ({D} & {E}); int4 & fact5 -> hypothesis; __DISPROVED__