もにょものLv.36事件は起きない
fact1: フランス人らしいということは歩き難いということに由来する fact2: もにょものLv.36事件は「喧しいということは発生しないかもにょものLv.36事件は起こらない」ということに阻止される fact3: 厳いということは「物悲しいということは起きない」ということを阻止する fact4: みいみくLv.87事件がぴやぴゆLv.88事件は起こらないということを防ぐ fact5: まにまいLv.52事件は歩き難いということは起きないということを阻む fact6: もし仮に「ぴやぴゆLv.88事件が生じる」ということは偽でないとするとフランス人らしいということは発生しない一方で喧しいということが起きる fact7: 「もにょものLv.36事件は生じない」ということはフランス人らしいということに阻止される fact8: 相伴うことが起きないとすればみいみくLv.87事件および愛らしいということは発生する fact9: 「まにまいLv.52事件が起こる」ということは成り立つ
fact5 & fact9 -> int1: 歩き難いということが起きる; int1 & fact1 -> int2: フランス人らしいということが生じる; int2 & fact7 -> hypothesis;
fact5 & fact9 -> int1: {B}; int1 & fact1 -> int2: {C}; int2 & fact7 -> hypothesis;
緩み易いということが起こる
$facts$ = fact1: フランス人らしいということは歩き難いということに由来する fact2: もにょものLv.36事件は「喧しいということは発生しないかもにょものLv.36事件は起こらない」ということに阻止される fact3: 厳いということは「物悲しいということは起きない」ということを阻止する fact4: みいみくLv.87事件がぴやぴゆLv.88事件は起こらないということを防ぐ fact5: まにまいLv.52事件は歩き難いということは起きないということを阻む fact6: もし仮に「ぴやぴゆLv.88事件が生じる」ということは偽でないとするとフランス人らしいということは発生しない一方で喧しいということが起きる fact7: 「もにょものLv.36事件は生じない」ということはフランス人らしいということに阻止される fact8: 相伴うことが起きないとすればみいみくLv.87事件および愛らしいということは発生する fact9: 「まにまいLv.52事件が起こる」ということは成り立つ ; $hypothesis$ = もにょものLv.36事件は起きない ; $proof$ = 
fact5 & fact9 -> int1: 歩き難いということが起きる; int1 & fact1 -> int2: フランス人らしいということが生じる; int2 & fact7 -> hypothesis; __DISPROVED__
fact5 & fact9 -> int1: {B}; int1 & fact1 -> int2: {C}; int2 & fact7 -> hypothesis; __DISPROVED__