黒しということは起きない
fact1: もし仮に行き合うことが起こらないとすると黒しということは起きなくてまたぽえぽゆLv.12事件は生じない fact2: もしもぴちゃぴちょLv.8事件は生じないとすると「田舎っぽいということは生じないしみいみにょLv.39事件が生じる」ということは誤りだ fact3: もしも田舎っぽいということは起きないとしたら行き合うことではなくてみいみにょLv.39事件が発生する fact4: ぽえぽゆLv.12事件が生じるししかも行き合うことが生じる fact5: 黒しということは行き合うことにより生じる
fact4 -> int1: 行き合うことが起こる; int1 & fact5 -> hypothesis;
fact4 -> int1: {B}; int1 & fact5 -> hypothesis;
ぷねぷいLv.50事件が起こる
$facts$ = fact1: もし仮に行き合うことが起こらないとすると黒しということは起きなくてまたぽえぽゆLv.12事件は生じない fact2: もしもぴちゃぴちょLv.8事件は生じないとすると「田舎っぽいということは生じないしみいみにょLv.39事件が生じる」ということは誤りだ fact3: もしも田舎っぽいということは起きないとしたら行き合うことではなくてみいみにょLv.39事件が発生する fact4: ぽえぽゆLv.12事件が生じるししかも行き合うことが生じる fact5: 黒しということは行き合うことにより生じる ; $hypothesis$ = 黒しということは起きない ; $proof$ = 
fact4 -> int1: 行き合うことが起こる; int1 & fact5 -> hypothesis; __DISPROVED__
fact4 -> int1: {B}; int1 & fact5 -> hypothesis; __DISPROVED__