とろ臭いということが起こる
fact1: ぽにゅぽなLv.75事件が起きる fact2: もし「例外無いということは生じない」ということは正しいとしたら御覧頂けることが起きるかあるいはみちゃみにゃLv.0事件は起こらない fact3: もし仮に「ぷくぷえLv.29事件が発生するしそれにぽわぽくLv.83事件が起きる」ということは成り立たないとしたらぷくぷえLv.29事件は発生しない fact4: みちゃみにゃLv.0事件が発生するということかまたは例外無いということはとろ臭いということを防ぐ fact5: まちゃまちょLv.23事件かまたはぷくぷなLv.57事件が生じる fact6: 例外無いということは心強いということは発生しないということかまたは「ぷくぷえLv.29事件は起きない」ということに防がれる fact7: みちゃみにゃLv.0事件は御覧頂けることかみちゃみにゃLv.0事件は起こらないということに阻まれる fact8: ぽにゅぽなLv.75事件がみちゃみにゃLv.0事件は発生しないということを阻止する
fact8 & fact1 -> int1: 「みちゃみにゃLv.0事件が起きる」ということは誤りでない; int1 -> int2: みちゃみにゃLv.0事件が起こるかあるいは例外無いということが発生するか両方である; int2 & fact4 -> hypothesis;
fact8 & fact1 -> int1: {B}; int1 -> int2: ({B} v {C}); int2 & fact4 -> hypothesis;
とろ臭いということが起こる
$facts$ = fact1: ぽにゅぽなLv.75事件が起きる fact2: もし「例外無いということは生じない」ということは正しいとしたら御覧頂けることが起きるかあるいはみちゃみにゃLv.0事件は起こらない fact3: もし仮に「ぷくぷえLv.29事件が発生するしそれにぽわぽくLv.83事件が起きる」ということは成り立たないとしたらぷくぷえLv.29事件は発生しない fact4: みちゃみにゃLv.0事件が発生するということかまたは例外無いということはとろ臭いということを防ぐ fact5: まちゃまちょLv.23事件かまたはぷくぷなLv.57事件が生じる fact6: 例外無いということは心強いということは発生しないということかまたは「ぷくぷえLv.29事件は起きない」ということに防がれる fact7: みちゃみにゃLv.0事件は御覧頂けることかみちゃみにゃLv.0事件は起こらないということに阻まれる fact8: ぽにゅぽなLv.75事件がみちゃみにゃLv.0事件は発生しないということを阻止する ; $hypothesis$ = とろ臭いということが起こる ; $proof$ = 
fact8 & fact1 -> int1: 「みちゃみにゃLv.0事件が起きる」ということは誤りでない; int1 -> int2: みちゃみにゃLv.0事件が起こるかあるいは例外無いということが発生するか両方である; int2 & fact4 -> hypothesis; __DISPROVED__
fact8 & fact1 -> int1: {B}; int1 -> int2: ({B} v {C}); int2 & fact4 -> hypothesis; __DISPROVED__