みにょみにょLv.96事件は起きない
fact1: 烏滸がましいということが生じる fact2: 「物凄いということは起こらないしまたみにょみにょLv.96事件は発生しない」ということは「不足し易いということが起こる」ということに引き起こされる fact3: 「みにょみにょLv.96事件が発生する」ということは訝しいということが原因である fact4: 物凄いということかまたは不足し易いということかあるいは両方が生じる fact5: まちょまよLv.70事件はむず痒いということに誘発される fact6: むず痒いということは物凄いということに誘発される fact7: まちょまよLv.70事件は慎ましいということを引き起こす fact8: 訝しいということは慎ましいということが原因である fact9: 「むず痒いということは発生しない」ということは不足し易いということに阻止される
fact4 & fact6 & fact9 -> int1: むず痒いということが起こる; int1 & fact5 -> int2: まちょまよLv.70事件が発生する; int2 & fact7 -> int3: 慎ましいということが起きる; int3 & fact8 -> int4: 「訝しいということが起こる」ということは真実だ; int4 & fact3 -> hypothesis;
fact4 & fact6 & fact9 -> int1: {C}; int1 & fact5 -> int2: {D}; int2 & fact7 -> int3: {E}; int3 & fact8 -> int4: {F}; int4 & fact3 -> hypothesis;
みにょみにょLv.96事件は起きない
$facts$ = fact1: 烏滸がましいということが生じる fact2: 「物凄いということは起こらないしまたみにょみにょLv.96事件は発生しない」ということは「不足し易いということが起こる」ということに引き起こされる fact3: 「みにょみにょLv.96事件が発生する」ということは訝しいということが原因である fact4: 物凄いということかまたは不足し易いということかあるいは両方が生じる fact5: まちょまよLv.70事件はむず痒いということに誘発される fact6: むず痒いということは物凄いということに誘発される fact7: まちょまよLv.70事件は慎ましいということを引き起こす fact8: 訝しいということは慎ましいということが原因である fact9: 「むず痒いということは発生しない」ということは不足し易いということに阻止される ; $hypothesis$ = みにょみにょLv.96事件は起きない ; $proof$ = 
fact4 & fact6 & fact9 -> int1: むず痒いということが起こる; int1 & fact5 -> int2: まちょまよLv.70事件が発生する; int2 & fact7 -> int3: 慎ましいということが起きる; int3 & fact8 -> int4: 「訝しいということが起こる」ということは真実だ; int4 & fact3 -> hypothesis; __DISPROVED__
fact4 & fact6 & fact9 -> int1: {C}; int1 & fact5 -> int2: {D}; int2 & fact7 -> int3: {E}; int3 & fact8 -> int4: {F}; int4 & fact3 -> hypothesis; __DISPROVED__