歯痒いということは発生しない
fact1: まにゅまやLv.87事件が起きないということはみちょみわLv.9事件は発生するということに阻止される fact2: 疎いということは良しということが原因である fact3: もし危ないということとぷえぷやLv.23事件が発生するなら歯痒いということは起きない fact4: ぷえぷやLv.23事件が発生する fact5: まわまねLv.2事件が発生する fact6: 疎いということは危ないということが起こるということを生じさせる fact7: まわまねLv.2事件は「良しということが生じる」ということを引き起こす fact8: 薄暗いということが起こる
fact7 & fact5 -> int1: 良しということが発生する; int1 & fact2 -> int2: 疎いということが起きる; int2 & fact6 -> int3: 危ないということが起こる; int3 & fact4 -> int4: 「危ないということが発生するしおまけにぷえぷやLv.23事件が起きる」ということは真実である; int4 & fact3 -> hypothesis;
fact7 & fact5 -> int1: {B}; int1 & fact2 -> int2: {C}; int2 & fact6 -> int3: {D}; int3 & fact4 -> int4: ({D} & {E}); int4 & fact3 -> hypothesis;
$facts$ = fact1: まにゅまやLv.87事件が起きないということはみちょみわLv.9事件は発生するということに阻止される fact2: 疎いということは良しということが原因である fact3: もし危ないということとぷえぷやLv.23事件が発生するなら歯痒いということは起きない fact4: ぷえぷやLv.23事件が発生する fact5: まわまねLv.2事件が発生する fact6: 疎いということは危ないということが起こるということを生じさせる fact7: まわまねLv.2事件は「良しということが生じる」ということを引き起こす fact8: 薄暗いということが起こる ; $hypothesis$ = 歯痒いということは発生しない ; $proof$ = 
fact7 & fact5 -> int1: 良しということが発生する; int1 & fact2 -> int2: 疎いということが起きる; int2 & fact6 -> int3: 危ないということが起こる; int3 & fact4 -> int4: 「危ないということが発生するしおまけにぷえぷやLv.23事件が起きる」ということは真実である; int4 & fact3 -> hypothesis; __PROVED__
fact7 & fact5 -> int1: {B}; int1 & fact2 -> int2: {C}; int2 & fact6 -> int3: {D}; int3 & fact4 -> int4: ({D} & {E}); int4 & fact3 -> hypothesis; __PROVED__