観賞出来ることが起きるし親しみ易いということが生じる
fact1: ぷねぷにゃLv.41事件が発生する fact2: 親しみ易いということが起きる fact3: ぷねぷにゃLv.41事件とぴにゅぴなLv.19事件両方が起きる fact4: もしもぷねぷにゃLv.41事件は起こらないとしたら「観賞出来ることが発生するしその上親しみ易いということが起きる」ということは嘘だ fact5: 疲れ易いということは「雄々しいということは発生しない」ということを阻む fact6: もしぴにゅぴなLv.19事件は起きないとしたらぷねぷにゃLv.41事件および小狡いということが起きる fact7: ぴにゅぴなLv.19事件は観賞出来ることを誘発する
fact3 -> int1: 「ぴにゅぴなLv.19事件が生じる」ということは事実だ; int1 & fact7 -> int2: 観賞出来ることが起きる; int2 & fact2 -> hypothesis;
fact3 -> int1: {B}; int1 & fact7 -> int2: {C}; int2 & fact2 -> hypothesis;
小狡いということが起きる
$facts$ = fact1: ぷねぷにゃLv.41事件が発生する fact2: 親しみ易いということが起きる fact3: ぷねぷにゃLv.41事件とぴにゅぴなLv.19事件両方が起きる fact4: もしもぷねぷにゃLv.41事件は起こらないとしたら「観賞出来ることが発生するしその上親しみ易いということが起きる」ということは嘘だ fact5: 疲れ易いということは「雄々しいということは発生しない」ということを阻む fact6: もしぴにゅぴなLv.19事件は起きないとしたらぷねぷにゃLv.41事件および小狡いということが起きる fact7: ぴにゅぴなLv.19事件は観賞出来ることを誘発する ; $hypothesis$ = 観賞出来ることが起きるし親しみ易いということが生じる ; $proof$ = 
fact3 -> int1: 「ぴにゅぴなLv.19事件が生じる」ということは事実だ; int1 & fact7 -> int2: 観賞出来ることが起きる; int2 & fact2 -> hypothesis; __PROVED__
fact3 -> int1: {B}; int1 & fact7 -> int2: {C}; int2 & fact2 -> hypothesis; __PROVED__