ぴちゃぴねLv.46事件は発生しない
fact1: 居辛いということは起きないということはぴにょぴねLv.81事件を誘発する fact2: 女々しいということが生じる fact3: もし欲深いということは起こらないとするとみわみやLv.99事件が発生するししかも分かり難いということが起きる fact4: 「気忙しいということではなくものもにLv.59事件が生じる」ということは「分かり難いということが起きる」ということにもたらされる fact5: 居辛いということは起きない fact6: 気忙しいということは生じないということは「女々しいということは起きないしイオン化することは起きない」ということを招く fact7: ぴにょぴねLv.81事件が生じるしまた女々しいということが起こるとすると「ぴちゃぴねLv.46事件は起こらない」ということは成り立つ fact8: 居辛いということは「ぴちゃぴねLv.46事件は起きない」ということを防ぐ
fact1 & fact5 -> int1: ぴにょぴねLv.81事件が発生する; int1 & fact2 -> int2: ぴにょぴねLv.81事件および女々しいということ両方ともが起こる; int2 & fact7 -> hypothesis;
fact1 & fact5 -> int1: {B}; int1 & fact2 -> int2: ({B} & {C}); int2 & fact7 -> hypothesis;
ぴちゃぴねLv.46事件が起きる
$facts$ = fact1: 居辛いということは起きないということはぴにょぴねLv.81事件を誘発する fact2: 女々しいということが生じる fact3: もし欲深いということは起こらないとするとみわみやLv.99事件が発生するししかも分かり難いということが起きる fact4: 「気忙しいということではなくものもにLv.59事件が生じる」ということは「分かり難いということが起きる」ということにもたらされる fact5: 居辛いということは起きない fact6: 気忙しいということは生じないということは「女々しいということは起きないしイオン化することは起きない」ということを招く fact7: ぴにょぴねLv.81事件が生じるしまた女々しいということが起こるとすると「ぴちゃぴねLv.46事件は起こらない」ということは成り立つ fact8: 居辛いということは「ぴちゃぴねLv.46事件は起きない」ということを防ぐ ; $hypothesis$ = ぴちゃぴねLv.46事件は発生しない ; $proof$ = 
fact1 & fact5 -> int1: ぴにょぴねLv.81事件が発生する; int1 & fact2 -> int2: ぴにょぴねLv.81事件および女々しいということ両方ともが起こる; int2 & fact7 -> hypothesis; __PROVED__
fact1 & fact5 -> int1: {B}; int1 & fact2 -> int2: ({B} & {C}); int2 & fact7 -> hypothesis; __PROVED__