目新しいということが生じる
fact1: 疲労し易いということは飲み難いということを阻む fact2: もし疲労し易いということは起こらないとしたら「ぽなぽちゃLv.41事件および目新しいということが発生する」ということは成り立たない fact3: もしも「「ぽなぽちゃLv.41事件および目新しいということが生じる」ということは確かでない」ということは確かであるなら目新しいということは起きない fact4: 「目新しいということは「飲み難いということは生じない」ということに引き起こされる」ということは成り立つ fact5: 疲労し易いということが生じるということかまたはぽなぽちゃLv.41事件かあるいは両方ともは「飲み難いということは起こらない」ということに帰結する fact6: ぽなぽちゃLv.41事件が発生する fact7: もし仮にぴゆぴゆLv.10事件は発生しないし飲み難いということが起きるとすれば疲労し易いということは起きない
fact6 -> int1: 疲労し易いということが起きるかもしくはぽなぽちゃLv.41事件が起きる; int1 & fact5 -> int2: 飲み難いということは起こらない; int2 & fact4 -> hypothesis;
fact6 -> int1: ({A} v {B}); int1 & fact5 -> int2: ¬{C}; int2 & fact4 -> hypothesis;
目新しいということは起きない
$facts$ = fact1: 疲労し易いということは飲み難いということを阻む fact2: もし疲労し易いということは起こらないとしたら「ぽなぽちゃLv.41事件および目新しいということが発生する」ということは成り立たない fact3: もしも「「ぽなぽちゃLv.41事件および目新しいということが生じる」ということは確かでない」ということは確かであるなら目新しいということは起きない fact4: 「目新しいということは「飲み難いということは生じない」ということに引き起こされる」ということは成り立つ fact5: 疲労し易いということが生じるということかまたはぽなぽちゃLv.41事件かあるいは両方ともは「飲み難いということは起こらない」ということに帰結する fact6: ぽなぽちゃLv.41事件が発生する fact7: もし仮にぴゆぴゆLv.10事件は発生しないし飲み難いということが起きるとすれば疲労し易いということは起きない ; $hypothesis$ = 目新しいということが生じる ; $proof$ = 
fact6 -> int1: 疲労し易いということが起きるかもしくはぽなぽちゃLv.41事件が起きる; int1 & fact5 -> int2: 飲み難いということは起こらない; int2 & fact4 -> hypothesis; __PROVED__
fact6 -> int1: ({A} v {B}); int1 & fact5 -> int2: ¬{C}; int2 & fact4 -> hypothesis; __PROVED__