前提することが起きるし発足することが生じる
fact1: 「消化吸収され易いということは起きない」ということは遜色無いということと御参照下さることが起きるを発生させる fact2: 「腫れぼったいということおよび甘酸っぱいということどちらもが発生する」ということは本当である fact3: もし遜色無いということが起きるとすれば発足することは起きないしかつか弱いということは起こらない fact4: 甘酸っぱいということは起きないということは「腫れぼったいということとぴねぴよLv.43事件が生じる」ということを誘発する fact5: 前提することが起きないということは甘酸っぱいということは発生するということに防がれる fact6: もし発足することは発生しないなら「「前提することは生じないけど甘酸っぱいということが起こる」ということは嘘だ」ということは成り立つ fact7: 発足することが起こる
fact2 -> int1: 甘酸っぱいということが起こる; int1 & fact5 -> int2: 前提することが生じる; int2 & fact7 -> hypothesis;
fact2 -> int1: {B}; int1 & fact5 -> int2: {C}; int2 & fact7 -> hypothesis;
ぴねぴよLv.43事件が起こる
$facts$ = fact1: 「消化吸収され易いということは起きない」ということは遜色無いということと御参照下さることが起きるを発生させる fact2: 「腫れぼったいということおよび甘酸っぱいということどちらもが発生する」ということは本当である fact3: もし遜色無いということが起きるとすれば発足することは起きないしかつか弱いということは起こらない fact4: 甘酸っぱいということは起きないということは「腫れぼったいということとぴねぴよLv.43事件が生じる」ということを誘発する fact5: 前提することが起きないということは甘酸っぱいということは発生するということに防がれる fact6: もし発足することは発生しないなら「「前提することは生じないけど甘酸っぱいということが起こる」ということは嘘だ」ということは成り立つ fact7: 発足することが起こる ; $hypothesis$ = 前提することが起きるし発足することが生じる ; $proof$ = 
fact2 -> int1: 甘酸っぱいということが起こる; int1 & fact5 -> int2: 前提することが生じる; int2 & fact7 -> hypothesis; __PROVED__
fact2 -> int1: {B}; int1 & fact5 -> int2: {C}; int2 & fact7 -> hypothesis; __PROVED__