もし思い出深いということが起こるとするとぴなぴにょLv.2事件ではなくてでっかいということが起きる
fact1: もし見紛うことは発生しないとすれば見紛うことではなく読み始めることが生じる fact2: 「ぴなぴにょLv.2事件ではなくでっかいということが生じる」ということはぴなぴにょLv.2事件が発生しないということは契機だ fact3: 打ち上がり易いということが起きる fact4: 「ぴなぴにょLv.2事件は起こらない」ということは「思い出深いということおよび打ち上がり易いということ両方ともが起きる」ということに引き起こされる fact5: 通り難いということではなくて麗々しいということが起きる
void -> assump1: 以下のように仮定する。思い出深いということが起きる; assump1 & fact3 -> int1: 思い出深いということが生じるししかも打ち上がり易いということが起こる; int1 & fact4 -> int2: ぴなぴにょLv.2事件は発生しない; int2 & fact2 -> int3: ぴなぴにょLv.2事件は発生しないしでっかいということが起こる; [assump1] & int3 -> hypothesis;
void -> assump1: {A}; assump1 & fact3 -> int1: ({A} & {B}); int1 & fact4 -> int2: ¬{C}; int2 & fact2 -> int3: (¬{C} & {E}); [assump1] & int3 -> hypothesis;
$facts$ = fact1: もし見紛うことは発生しないとすれば見紛うことではなく読み始めることが生じる fact2: 「ぴなぴにょLv.2事件ではなくでっかいということが生じる」ということはぴなぴにょLv.2事件が発生しないということは契機だ fact3: 打ち上がり易いということが起きる fact4: 「ぴなぴにょLv.2事件は起こらない」ということは「思い出深いということおよび打ち上がり易いということ両方ともが起きる」ということに引き起こされる fact5: 通り難いということではなくて麗々しいということが起きる ; $hypothesis$ = もし思い出深いということが起こるとするとぴなぴにょLv.2事件ではなくてでっかいということが起きる ; $proof$ = 
void -> assump1: 以下のように仮定する。思い出深いということが起きる; assump1 & fact3 -> int1: 思い出深いということが生じるししかも打ち上がり易いということが起こる; int1 & fact4 -> int2: ぴなぴにょLv.2事件は発生しない; int2 & fact2 -> int3: ぴなぴにょLv.2事件は発生しないしでっかいということが起こる; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}; assump1 & fact3 -> int1: ({A} & {B}); int1 & fact4 -> int2: ¬{C}; int2 & fact2 -> int3: (¬{C} & {E}); [assump1] & int3 -> hypothesis; __PROVED__