検討し直すことが生じる
fact1: ぽゆぽにゅLv.85事件が発生する fact2: ぽゆぽにゅLv.85事件は苦々しいということは起きないということに引き起こされる fact3: 苦々しいということは発生しないとすればまちゅまねLv.50事件とぽゆぽにゅLv.85事件両方ともが生じる fact4: 「「がめついということは起こらない」ということはまちゅまねLv.50事件に阻まれる」ということは事実だ fact5: 苦々しいということは生じない fact6: 検討し直すことは発生しないということは「がめついということが起こる」ということに阻止される
fact5 & fact3 -> int1: まちゅまねLv.50事件とぽゆぽにゅLv.85事件が生じる; int1 -> int2: まちゅまねLv.50事件が起きる; int2 & fact4 -> int3: 「がめついということが起きる」ということは事実である; int3 & fact6 -> hypothesis;
fact5 & fact3 -> int1: ({A} & {B}); int1 -> int2: {A}; int2 & fact4 -> int3: {C}; int3 & fact6 -> hypothesis;
$facts$ = fact1: ぽゆぽにゅLv.85事件が発生する fact2: ぽゆぽにゅLv.85事件は苦々しいということは起きないということに引き起こされる fact3: 苦々しいということは発生しないとすればまちゅまねLv.50事件とぽゆぽにゅLv.85事件両方ともが生じる fact4: 「「がめついということは起こらない」ということはまちゅまねLv.50事件に阻まれる」ということは事実だ fact5: 苦々しいということは生じない fact6: 検討し直すことは発生しないということは「がめついということが起こる」ということに阻止される ; $hypothesis$ = 検討し直すことが生じる ; $proof$ = 
fact5 & fact3 -> int1: まちゅまねLv.50事件とぽゆぽにゅLv.85事件が生じる; int1 -> int2: まちゅまねLv.50事件が起きる; int2 & fact4 -> int3: 「がめついということが起きる」ということは事実である; int3 & fact6 -> hypothesis; __PROVED__
fact5 & fact3 -> int1: ({A} & {B}); int1 -> int2: {A}; int2 & fact4 -> int3: {C}; int3 & fact6 -> hypothesis; __PROVED__