下せることは起きない
fact1: 仮に甘ったるいということが発生するけれどすごーいということは生じないとすればもいもにょLv.41事件は起きない fact2: まちゅまやLv.26事件が生じるということは慎ましいということは起きないということに阻止される fact3: 甘ったるいということが起きるということは下せることを生じさせる fact4: みのみいLv.42事件は堅苦しいということは起こらないということを生じさせる fact5: もし仮に慎ましいということが起こるかあるいはもいもにょLv.41事件が起こるか両方であるとしたら下せることは発生しない fact6: 堅苦しいということは発生しないならばすごーいということおよび甘ったるいということどちらもが発生する
まちゅまやLv.26事件は発生しない
$facts$ = fact1: 仮に甘ったるいということが発生するけれどすごーいということは生じないとすればもいもにょLv.41事件は起きない fact2: まちゅまやLv.26事件が生じるということは慎ましいということは起きないということに阻止される fact3: 甘ったるいということが起きるということは下せることを生じさせる fact4: みのみいLv.42事件は堅苦しいということは起こらないということを生じさせる fact5: もし仮に慎ましいということが起こるかあるいはもいもにょLv.41事件が起こるか両方であるとしたら下せることは発生しない fact6: 堅苦しいということは発生しないならばすごーいということおよび甘ったるいということどちらもが発生する ; $hypothesis$ = 下せることは起きない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__