香しいということが発生する
fact1: ぴにぴにゃLv.85事件が起きる fact2: 香しいということはぴにぴにゃLv.85事件が契機である fact3: もし仮に上げ易いということが発生するなら香しいということではなく広がり易いということが生じる
fact1 -> int1: ぴにぴにゃLv.85事件が起きる; int1 & fact2 -> hypothesis;
fact1 -> int1: {A}; int1 & fact2 -> hypothesis;
ぷゆぷちゅLv.5事件が起こる
$facts$ = fact1: ぴにぴにゃLv.85事件が起きる fact2: 香しいということはぴにぴにゃLv.85事件が契機である fact3: もし仮に上げ易いということが発生するなら香しいということではなく広がり易いということが生じる ; $hypothesis$ = 香しいということが発生する ; $proof$ = 
fact1 -> int1: ぴにぴにゃLv.85事件が起きる; int1 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: {A}; int1 & fact2 -> hypothesis; __PROVED__