「ものもにゃLv.54事件および瑞々しいということ両方が生じる」ということは嘘である
fact1: まにまにょLv.37事件が発生する fact2: もねもねLv.65事件が発生するかまたはまにゃまちゅLv.43事件が生じるかもしくはどちらもである fact3: ものもにゃLv.54事件がもくもにゅLv.58事件は発生しないということかまちゃまちゅLv.18事件かもしくはどちらもが契機だ fact4: 「もくもにゅLv.58事件は起きない」ということはものもにゃLv.54事件に帰結する fact5: もしまにまにょLv.37事件が起きるとしたらもくもにゅLv.58事件が発生しないかもしくはまちゃまちゅLv.18事件は発生する fact6: もし仮にもにゃもねLv.86事件が生じるとすると「瑞々しいということが起こるがまなまちょLv.92事件は発生しない」ということは嘘である fact7: もしも「瑞々しいということは発生するけどまなまちょLv.92事件は起きない」ということは嘘であるなら瑞々しいということは生じない fact8: 「瑞々しいということが発生する」ということは確かである fact9: もし瑞々しいということではなくて寄り掛かれることが発生するならものもにゃLv.54事件は起きない
fact5 & fact1 -> int1: もくもにゅLv.58事件は生じないかあるいはまちゃまちゅLv.18事件が起きるかまたは両方である; int1 & fact3 -> int2: ものもにゃLv.54事件が生じる; int2 & fact8 -> hypothesis;
fact5 & fact1 -> int1: (¬{AA} v {AB}); int1 & fact3 -> int2: {B}; int2 & fact8 -> hypothesis;
軽ーいということが発生する
$facts$ = fact1: まにまにょLv.37事件が発生する fact2: もねもねLv.65事件が発生するかまたはまにゃまちゅLv.43事件が生じるかもしくはどちらもである fact3: ものもにゃLv.54事件がもくもにゅLv.58事件は発生しないということかまちゃまちゅLv.18事件かもしくはどちらもが契機だ fact4: 「もくもにゅLv.58事件は起きない」ということはものもにゃLv.54事件に帰結する fact5: もしまにまにょLv.37事件が起きるとしたらもくもにゅLv.58事件が発生しないかもしくはまちゃまちゅLv.18事件は発生する fact6: もし仮にもにゃもねLv.86事件が生じるとすると「瑞々しいということが起こるがまなまちょLv.92事件は発生しない」ということは嘘である fact7: もしも「瑞々しいということは発生するけどまなまちょLv.92事件は起きない」ということは嘘であるなら瑞々しいということは生じない fact8: 「瑞々しいということが発生する」ということは確かである fact9: もし瑞々しいということではなくて寄り掛かれることが発生するならものもにゃLv.54事件は起きない ; $hypothesis$ = 「ものもにゃLv.54事件および瑞々しいということ両方が生じる」ということは嘘である ; $proof$ = 
fact5 & fact1 -> int1: もくもにゅLv.58事件は生じないかあるいはまちゃまちゅLv.18事件が起きるかまたは両方である; int1 & fact3 -> int2: ものもにゃLv.54事件が生じる; int2 & fact8 -> hypothesis; __DISPROVED__
fact5 & fact1 -> int1: (¬{AA} v {AB}); int1 & fact3 -> int2: {B}; int2 & fact8 -> hypothesis; __DISPROVED__