見飽きることは起こらないかもしくはみのみのLv.58事件が起きる
fact1: 「取っ付き易いということが生じる」ということか浅しということは見飽きることを阻止する fact2: 見飽きることが生じるかみのみのLv.58事件が生じるかあるいはどちらもだ fact3: 浅しということが発生する fact4: 飲み比べることが発生するということはぴくぴちゃLv.70事件が起こるということを阻む fact5: もし取っ付き易いということが発生するとすると「見飽きることが起きないかあるいはみのみのLv.58事件は発生するかまたは両方ともである」ということは成り立たない fact6: 「「浅しということは発生しないが取っ付き易いということが生じる」ということは誤っているならぷにゅぷいLv.20事件は生じない」ということは成り立つ
fact3 -> int1: 取っ付き易いということかまたは浅しということか両方ともが起こる; int1 & fact1 -> int2: 見飽きることは起こらない; int2 -> hypothesis;
fact3 -> int1: ({A} v {B}); int1 & fact1 -> int2: ¬{C}; int2 -> hypothesis;
「見飽きることは発生しないかみのみのLv.58事件が起きる」ということは嘘だ
$facts$ = fact1: 「取っ付き易いということが生じる」ということか浅しということは見飽きることを阻止する fact2: 見飽きることが生じるかみのみのLv.58事件が生じるかあるいはどちらもだ fact3: 浅しということが発生する fact4: 飲み比べることが発生するということはぴくぴちゃLv.70事件が起こるということを阻む fact5: もし取っ付き易いということが発生するとすると「見飽きることが起きないかあるいはみのみのLv.58事件は発生するかまたは両方ともである」ということは成り立たない fact6: 「「浅しということは発生しないが取っ付き易いということが生じる」ということは誤っているならぷにゅぷいLv.20事件は生じない」ということは成り立つ ; $hypothesis$ = 見飽きることは起こらないかもしくはみのみのLv.58事件が起きる ; $proof$ = 
fact3 -> int1: 取っ付き易いということかまたは浅しということか両方ともが起こる; int1 & fact1 -> int2: 見飽きることは起こらない; int2 -> hypothesis; __PROVED__
fact3 -> int1: ({A} v {B}); int1 & fact1 -> int2: ¬{C}; int2 -> hypothesis; __PROVED__