思い当たることかまたはぽゆぽくLv.70事件が発生する
fact1: 容認することは生じない fact2: もしも容認することは生じないとすれば物凄いということと装飾すること両方が生じる fact3: 日本人らしいということは生じないとすれば「容認することが生じる一方で装飾することは発生しない」ということは成り立たない fact4: もし物凄いということは起こらないとしたら「思い当たることが生じるかあるいはぽゆぽくLv.70事件が起きるかもしくはどちらもだ」ということは成り立つということはない fact5: もし仮にみくみくLv.25事件が起こらないかあるいは御寄せ下さることは起きないとすれば日本人らしいということは起きない fact6: 「物凄いということが起こる」ということは「容認することは起きない」ということに由来する fact7: 装飾することは「思い当たることは生じない」ということを阻止する
fact2 & fact1 -> int1: 物凄いということと装飾することが発生する; int1 -> int2: 装飾することが生じる; int2 & fact7 -> int3: 思い当たることが発生する; int3 -> hypothesis;
fact2 & fact1 -> int1: ({A} & {B}); int1 -> int2: {B}; int2 & fact7 -> int3: {C}; int3 -> hypothesis;
「思い当たることが起こるかもしくはぽゆぽくLv.70事件が起きる」ということは事実だということはない
$facts$ = fact1: 容認することは生じない fact2: もしも容認することは生じないとすれば物凄いということと装飾すること両方が生じる fact3: 日本人らしいということは生じないとすれば「容認することが生じる一方で装飾することは発生しない」ということは成り立たない fact4: もし物凄いということは起こらないとしたら「思い当たることが生じるかあるいはぽゆぽくLv.70事件が起きるかもしくはどちらもだ」ということは成り立つということはない fact5: もし仮にみくみくLv.25事件が起こらないかあるいは御寄せ下さることは起きないとすれば日本人らしいということは起きない fact6: 「物凄いということが起こる」ということは「容認することは起きない」ということに由来する fact7: 装飾することは「思い当たることは生じない」ということを阻止する ; $hypothesis$ = 思い当たることかまたはぽゆぽくLv.70事件が発生する ; $proof$ = 
fact2 & fact1 -> int1: 物凄いということと装飾することが発生する; int1 -> int2: 装飾することが生じる; int2 & fact7 -> int3: 思い当たることが発生する; int3 -> hypothesis; __PROVED__
fact2 & fact1 -> int1: ({A} & {B}); int1 -> int2: {B}; int2 & fact7 -> int3: {C}; int3 -> hypothesis; __PROVED__