低しということが起こる
fact1: もし仮に物寂しいということは起きないならばぷゆぷいLv.77事件およびぷよぷにょLv.46事件が発生する fact2: 「「ぷゆぷいLv.77事件が起きるしさらにぽにゅぽえLv.38事件が生じる」ということは成り立つ」ということは低しということを阻む fact3: 物寂しいということは起きない fact4: 「ぽにゅぽえLv.38事件が発生する」ということは成り立つ fact5: ぷよぷにょLv.46事件は物寂しいということは起きないということに起因する fact6: ぷよぷにょLv.46事件は生じないということは「低しということが生じるしぷゆぷいLv.77事件が起こる」ということのきっかけとなる fact7: ぷよぷにょLv.46事件が生じる
fact1 & fact3 -> int1: ぷゆぷいLv.77事件およびぷよぷにょLv.46事件どちらもが起こる; int1 -> int2: ぷゆぷいLv.77事件が起こる; int2 & fact4 -> int3: ぷゆぷいLv.77事件が発生するしさらにぽにゅぽえLv.38事件が起こる; int3 & fact2 -> hypothesis;
fact1 & fact3 -> int1: ({A} & {B}); int1 -> int2: {A}; int2 & fact4 -> int3: ({A} & {C}); int3 & fact2 -> hypothesis;
低しということが起こる
$facts$ = fact1: もし仮に物寂しいということは起きないならばぷゆぷいLv.77事件およびぷよぷにょLv.46事件が発生する fact2: 「「ぷゆぷいLv.77事件が起きるしさらにぽにゅぽえLv.38事件が生じる」ということは成り立つ」ということは低しということを阻む fact3: 物寂しいということは起きない fact4: 「ぽにゅぽえLv.38事件が発生する」ということは成り立つ fact5: ぷよぷにょLv.46事件は物寂しいということは起きないということに起因する fact6: ぷよぷにょLv.46事件は生じないということは「低しということが生じるしぷゆぷいLv.77事件が起こる」ということのきっかけとなる fact7: ぷよぷにょLv.46事件が生じる ; $hypothesis$ = 低しということが起こる ; $proof$ = 
fact1 & fact3 -> int1: ぷゆぷいLv.77事件およびぷよぷにょLv.46事件どちらもが起こる; int1 -> int2: ぷゆぷいLv.77事件が起こる; int2 & fact4 -> int3: ぷゆぷいLv.77事件が発生するしさらにぽにゅぽえLv.38事件が起こる; int3 & fact2 -> hypothesis; __DISPROVED__
fact1 & fact3 -> int1: ({A} & {B}); int1 -> int2: {A}; int2 & fact4 -> int3: ({A} & {C}); int3 & fact2 -> hypothesis; __DISPROVED__