「変わり易いということは起こらなくてかつ甘辛いということは生じない」ということは嘘だ
fact1: 「もよもいLv.1事件は起きない」ということは事実であるとしたら「変わり易いということは発生しないしその上甘辛いということは生じない」ということは間違っている fact2: 「接近し易いということは発生するかぽちゃぽにゃLv.60事件は生じない」ということは誤りである fact3: 「変わり易いということは起きないし甘辛いということは生じない」ということは「変わり易いということは発生しない」ということにより生じる fact4: 「変わり易いということは起きない」ということは「まちょまちょLv.4事件が発生するしまたもよもいLv.1事件が起きる」ということにより発生する fact5: もしも「接近し易いということが起きるかまたはぽちゃぽにゃLv.60事件は生じないかもしくは両方である」ということは嘘ならばまちょまちょLv.4事件が発生する fact6: もよもいLv.1事件が生じる fact7: 仮にみわみゆLv.50事件が発生しないとするとまちょまちょLv.4事件が起きないかあるいはぴにょぴいLv.29事件は起こらない
fact5 & fact2 -> int1: 「まちょまちょLv.4事件が起きる」ということは成り立つ; int1 & fact6 -> int2: まちょまちょLv.4事件が生じるしおまけにもよもいLv.1事件が生じる; int2 & fact4 -> int3: 変わり易いということは起きない; int3 & fact3 -> hypothesis;
fact5 & fact2 -> int1: {B}; int1 & fact6 -> int2: ({B} & {A}); int2 & fact4 -> int3: ¬{C}; int3 & fact3 -> hypothesis;
「変わり易いということは起こらなくてかつ甘辛いということは生じない」ということは嘘だ
$facts$ = fact1: 「もよもいLv.1事件は起きない」ということは事実であるとしたら「変わり易いということは発生しないしその上甘辛いということは生じない」ということは間違っている fact2: 「接近し易いということは発生するかぽちゃぽにゃLv.60事件は生じない」ということは誤りである fact3: 「変わり易いということは起きないし甘辛いということは生じない」ということは「変わり易いということは発生しない」ということにより生じる fact4: 「変わり易いということは起きない」ということは「まちょまちょLv.4事件が発生するしまたもよもいLv.1事件が起きる」ということにより発生する fact5: もしも「接近し易いということが起きるかまたはぽちゃぽにゃLv.60事件は生じないかもしくは両方である」ということは嘘ならばまちょまちょLv.4事件が発生する fact6: もよもいLv.1事件が生じる fact7: 仮にみわみゆLv.50事件が発生しないとするとまちょまちょLv.4事件が起きないかあるいはぴにょぴいLv.29事件は起こらない ; $hypothesis$ = 「変わり易いということは起こらなくてかつ甘辛いということは生じない」ということは嘘だ ; $proof$ = 
fact5 & fact2 -> int1: 「まちょまちょLv.4事件が起きる」ということは成り立つ; int1 & fact6 -> int2: まちょまちょLv.4事件が生じるしおまけにもよもいLv.1事件が生じる; int2 & fact4 -> int3: 変わり易いということは起きない; int3 & fact3 -> hypothesis; __DISPROVED__
fact5 & fact2 -> int1: {B}; int1 & fact6 -> int2: ({B} & {A}); int2 & fact4 -> int3: ¬{C}; int3 & fact3 -> hypothesis; __DISPROVED__