執刀することが生じる
fact1: もしも空々しいということは発生しないとすれば免れ難いということおよび田舎臭いということ両方が生じる fact2: 「木目細かいということが生じる」ということは本当である fact3: 免れ難いということと空々しいということ両方が生じる fact4: まねまゆLv.68事件が起こるし味気無いということが起こる fact5: 「みわみえLv.28事件および壊れることが起こる」ということは賛成し難いということは起こらないということの原因となる fact6: ぴいぴくLv.87事件が生じる fact7: 仮に空々しいということが起こるしそれにぴいぴくLv.87事件が発生すれば執刀することは発生しない fact8: 仮に物凄ーいということおよび面倒臭いということが起きればぽちゃぽちゅLv.41事件は起きない
fact3 -> int1: 空々しいということが生じる; int1 & fact6 -> int2: 空々しいということが起こるしまたぴいぴくLv.87事件が生じる; int2 & fact7 -> hypothesis;
fact3 -> int1: {B}; int1 & fact6 -> int2: ({B} & {C}); int2 & fact7 -> hypothesis;
田舎臭いということが起こる
$facts$ = fact1: もしも空々しいということは発生しないとすれば免れ難いということおよび田舎臭いということ両方が生じる fact2: 「木目細かいということが生じる」ということは本当である fact3: 免れ難いということと空々しいということ両方が生じる fact4: まねまゆLv.68事件が起こるし味気無いということが起こる fact5: 「みわみえLv.28事件および壊れることが起こる」ということは賛成し難いということは起こらないということの原因となる fact6: ぴいぴくLv.87事件が生じる fact7: 仮に空々しいということが起こるしそれにぴいぴくLv.87事件が発生すれば執刀することは発生しない fact8: 仮に物凄ーいということおよび面倒臭いということが起きればぽちゃぽちゅLv.41事件は起きない ; $hypothesis$ = 執刀することが生じる ; $proof$ = 
fact3 -> int1: 空々しいということが生じる; int1 & fact6 -> int2: 空々しいということが起こるしまたぴいぴくLv.87事件が生じる; int2 & fact7 -> hypothesis; __DISPROVED__
fact3 -> int1: {B}; int1 & fact6 -> int2: ({B} & {C}); int2 & fact7 -> hypothesis; __DISPROVED__