怒りっぽいということが生じる
fact1: 青臭いということが生じる fact2: 「怒りっぽいということは起きない」ということは「ぽわぽちゃLv.68事件が発生するしその上青臭いということが生じる」ということに由来する fact3: まにゅまゆLv.22事件が起こる fact4: まにゅまゆLv.22事件とぽわぽちゃLv.68事件が生じる fact5: 御すことは発生しない
fact4 -> int1: ぽわぽちゃLv.68事件が起こる; int1 & fact1 -> int2: ぽわぽちゃLv.68事件および青臭いということが起こる; int2 & fact2 -> hypothesis;
fact4 -> int1: {B}; int1 & fact1 -> int2: ({B} & {C}); int2 & fact2 -> hypothesis;
$facts$ = fact1: 青臭いということが生じる fact2: 「怒りっぽいということは起きない」ということは「ぽわぽちゃLv.68事件が発生するしその上青臭いということが生じる」ということに由来する fact3: まにゅまゆLv.22事件が起こる fact4: まにゅまゆLv.22事件とぽわぽちゃLv.68事件が生じる fact5: 御すことは発生しない ; $hypothesis$ = 怒りっぽいということが生じる ; $proof$ = 
fact4 -> int1: ぽわぽちゃLv.68事件が起こる; int1 & fact1 -> int2: ぽわぽちゃLv.68事件および青臭いということが起こる; int2 & fact2 -> hypothesis; __DISPROVED__
fact4 -> int1: {B}; int1 & fact1 -> int2: ({B} & {C}); int2 & fact2 -> hypothesis; __DISPROVED__