女性らしいということが生じるしまた香しいということが生じる
fact1: ぷちょぷちゅLv.32事件が生じる fact2: もしもぷちょぷちゅLv.32事件は起きないならば「女性らしいということが発生するし香しいということが起きる」ということは偽だ fact3: ぷちょぷちゅLv.32事件が起きるということは相応しいということは発生しないということを阻む fact4: 香しいということが生じる fact5: 女性らしいということは発生しないということは相応しいということに阻まれる
fact3 & fact1 -> int1: 相応しいということが発生する; int1 & fact5 -> int2: 「女性らしいということが生じる」ということは事実だ; int2 & fact4 -> hypothesis;
fact3 & fact1 -> int1: {B}; int1 & fact5 -> int2: {C}; int2 & fact4 -> hypothesis;
「女性らしいということと香しいということ両方が起きる」ということは嘘だ
$facts$ = fact1: ぷちょぷちゅLv.32事件が生じる fact2: もしもぷちょぷちゅLv.32事件は起きないならば「女性らしいということが発生するし香しいということが起きる」ということは偽だ fact3: ぷちょぷちゅLv.32事件が起きるということは相応しいということは発生しないということを阻む fact4: 香しいということが生じる fact5: 女性らしいということは発生しないということは相応しいということに阻まれる ; $hypothesis$ = 女性らしいということが生じるしまた香しいということが生じる ; $proof$ = 
fact3 & fact1 -> int1: 相応しいということが発生する; int1 & fact5 -> int2: 「女性らしいということが生じる」ということは事実だ; int2 & fact4 -> hypothesis; __PROVED__
fact3 & fact1 -> int1: {B}; int1 & fact5 -> int2: {C}; int2 & fact4 -> hypothesis; __PROVED__