酔い易いということは発生しないけれどまちゃまいLv.87事件が起こる
fact1: もちゅもえLv.32事件およびぽくぽねLv.15事件どちらもが生じる fact2: まちゃまいLv.87事件が起きる fact3: ぷいぷわLv.49事件と色好いということどちらもが起こる fact4: まにゅまくLv.45事件は起きないということはもちゅもえLv.32事件に阻止される fact5: まにゅまくLv.45事件と通り難いということが生じるは「酔い易いということが起きる」ということを回避する fact6: 通り難いということが発生する fact7: ぽくぽねLv.15事件が起こる
fact1 -> int1: もちゅもえLv.32事件が起こる; int1 & fact4 -> int2: まにゅまくLv.45事件が起きる; int2 & fact6 -> int3: まにゅまくLv.45事件が生じるしそれに通り難いということが起こる; int3 & fact5 -> int4: 酔い易いということは起きない; int4 & fact2 -> hypothesis;
fact1 -> int1: {A}; int1 & fact4 -> int2: {C}; int2 & fact6 -> int3: ({C} & {D}); int3 & fact5 -> int4: ¬{E}; int4 & fact2 -> hypothesis;
$facts$ = fact1: もちゅもえLv.32事件およびぽくぽねLv.15事件どちらもが生じる fact2: まちゃまいLv.87事件が起きる fact3: ぷいぷわLv.49事件と色好いということどちらもが起こる fact4: まにゅまくLv.45事件は起きないということはもちゅもえLv.32事件に阻止される fact5: まにゅまくLv.45事件と通り難いということが生じるは「酔い易いということが起きる」ということを回避する fact6: 通り難いということが発生する fact7: ぽくぽねLv.15事件が起こる ; $hypothesis$ = 酔い易いということは発生しないけれどまちゃまいLv.87事件が起こる ; $proof$ = 
fact1 -> int1: もちゅもえLv.32事件が起こる; int1 & fact4 -> int2: まにゅまくLv.45事件が起きる; int2 & fact6 -> int3: まにゅまくLv.45事件が生じるしそれに通り難いということが起こる; int3 & fact5 -> int4: 酔い易いということは起きない; int4 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: {A}; int1 & fact4 -> int2: {C}; int2 & fact6 -> int3: ({C} & {D}); int3 & fact5 -> int4: ¬{E}; int4 & fact2 -> hypothesis; __PROVED__