ぷくぷくLv.23事件が起こる
fact1: もねもえLv.3事件とまよまよLv.38事件どちらもが生じる fact2: 飲み難いということが発生するということはもねもえLv.3事件は契機だ fact3: まよまよLv.38事件が生じる fact4: ぷくぷくLv.23事件が飲み難いということは発生するということにもたらされる fact5: 「満遍無いということは生じない」ということはぷいぷくLv.81事件に阻止される fact6: ぴくぴにLv.64事件が発生する fact7: 「図り難いということが発生する」ということは成り立つ fact8: 「乗り回すことが生じる」ということは確かだ
fact1 -> int1: もねもえLv.3事件が生じる; int1 & fact2 -> int2: 飲み難いということが起こる; int2 & fact4 -> hypothesis;
fact1 -> int1: {A}; int1 & fact2 -> int2: {C}; int2 & fact4 -> hypothesis;
$facts$ = fact1: もねもえLv.3事件とまよまよLv.38事件どちらもが生じる fact2: 飲み難いということが発生するということはもねもえLv.3事件は契機だ fact3: まよまよLv.38事件が生じる fact4: ぷくぷくLv.23事件が飲み難いということは発生するということにもたらされる fact5: 「満遍無いということは生じない」ということはぷいぷくLv.81事件に阻止される fact6: ぴくぴにLv.64事件が発生する fact7: 「図り難いということが発生する」ということは成り立つ fact8: 「乗り回すことが生じる」ということは確かだ ; $hypothesis$ = ぷくぷくLv.23事件が起こる ; $proof$ = 
fact1 -> int1: もねもえLv.3事件が生じる; int1 & fact2 -> int2: 飲み難いということが起こる; int2 & fact4 -> hypothesis; __PROVED__
fact1 -> int1: {A}; int1 & fact2 -> int2: {C}; int2 & fact4 -> hypothesis; __PROVED__