人間らしいということが生じる
fact1: もしぽよぽわLv.39事件とまなまにLv.94事件両方が起きれば人間らしいということは発生しない fact2: 「探し易いということが起こるしもにゅもゆLv.58事件は起きない」ということは偽ならぽよぽわLv.39事件が起きる fact3: まなまにLv.94事件が起こる fact4: 「探し易いということが起きるしもにゅもゆLv.58事件は生じない」ということは成り立たない
fact2 & fact4 -> int1: ぽよぽわLv.39事件が起きる; int1 & fact3 -> int2: ぽよぽわLv.39事件およびまなまにLv.94事件両方が発生する; int2 & fact1 -> hypothesis;
fact2 & fact4 -> int1: {B}; int1 & fact3 -> int2: ({B} & {A}); int2 & fact1 -> hypothesis;
$facts$ = fact1: もしぽよぽわLv.39事件とまなまにLv.94事件両方が起きれば人間らしいということは発生しない fact2: 「探し易いということが起こるしもにゅもゆLv.58事件は起きない」ということは偽ならぽよぽわLv.39事件が起きる fact3: まなまにLv.94事件が起こる fact4: 「探し易いということが起きるしもにゅもゆLv.58事件は生じない」ということは成り立たない ; $hypothesis$ = 人間らしいということが生じる ; $proof$ = 
fact2 & fact4 -> int1: ぽよぽわLv.39事件が起きる; int1 & fact3 -> int2: ぽよぽわLv.39事件およびまなまにLv.94事件両方が発生する; int2 & fact1 -> hypothesis; __DISPROVED__
fact2 & fact4 -> int1: {B}; int1 & fact3 -> int2: ({B} & {A}); int2 & fact1 -> hypothesis; __DISPROVED__