まなまいLv.49事件は発生しない
fact1: ぽねぽくLv.43事件と長いということが起こる fact2: 「みねみゆLv.48事件は生じないかあるいはぴにゅぴちょLv.30事件が起こるか両方である」ということは嘘だとすると「か細いということが起こる」ということは正しい fact3: 仮に「ぷくぷちゅLv.22事件が起こる」ということは成り立てば「女々しいということは発生しないかあるいはぷくぷちゅLv.22事件は起こらない」ということは嘘だ fact4: もしも「好もしいということは生じないかあるいはぽねぽくLv.43事件は発生しないか両方だ」ということは間違いであるならばまなまいLv.49事件が生じる fact5: もしもぽねぽくLv.43事件が発生するとしたら「好もしいということは発生しないかもしくはぽねぽくLv.43事件は発生しないかどちらもだ」ということは成り立たない fact6: 「長いということが起きる」ということは成り立つ fact7: 青黒いということが生じる fact8: 仮に長いということは起きないとすればぽねぽくLv.43事件および薄明るいということが起こる
fact1 -> int1: ぽねぽくLv.43事件が起こる; int1 & fact5 -> int2: 「好もしいということは起きないかもしくはぽねぽくLv.43事件は発生しないかもしくはどちらもだ」ということは間違いである; int2 & fact4 -> hypothesis;
fact1 -> int1: {A}; int1 & fact5 -> int2: ¬(¬{C} v ¬{A}); int2 & fact4 -> hypothesis;
薄明るいということが起こる
$facts$ = fact1: ぽねぽくLv.43事件と長いということが起こる fact2: 「みねみゆLv.48事件は生じないかあるいはぴにゅぴちょLv.30事件が起こるか両方である」ということは嘘だとすると「か細いということが起こる」ということは正しい fact3: 仮に「ぷくぷちゅLv.22事件が起こる」ということは成り立てば「女々しいということは発生しないかあるいはぷくぷちゅLv.22事件は起こらない」ということは嘘だ fact4: もしも「好もしいということは生じないかあるいはぽねぽくLv.43事件は発生しないか両方だ」ということは間違いであるならばまなまいLv.49事件が生じる fact5: もしもぽねぽくLv.43事件が発生するとしたら「好もしいということは発生しないかもしくはぽねぽくLv.43事件は発生しないかどちらもだ」ということは成り立たない fact6: 「長いということが起きる」ということは成り立つ fact7: 青黒いということが生じる fact8: 仮に長いということは起きないとすればぽねぽくLv.43事件および薄明るいということが起こる ; $hypothesis$ = まなまいLv.49事件は発生しない ; $proof$ = 
fact1 -> int1: ぽねぽくLv.43事件が起こる; int1 & fact5 -> int2: 「好もしいということは起きないかもしくはぽねぽくLv.43事件は発生しないかもしくはどちらもだ」ということは間違いである; int2 & fact4 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}; int1 & fact5 -> int2: ¬(¬{C} v ¬{A}); int2 & fact4 -> hypothesis; __DISPROVED__