愛情深いということは起きない
fact1: はぐることは起こらないということは「愛情深いということが起こるし突き回すことが生じる」ということをもたらす fact2: 「愛情深いということは起こらない」ということははぐることとみねみよLv.86事件が起きるにより生じる fact3: 少ないということは発生しないということは「はぐることではなくみねみよLv.86事件が起きる」ということの原因となる fact4: 脂っぽいということは起きないということは「ぽゆぽいLv.15事件が発生するし強いということが起こる」ということを生じさせる fact5: 突き回すこととはぐることが生じる fact6: 仮に「ぴにゅぴよLv.11事件ではなくて脂っぽいということが起こる」ということは成り立たないとしたら脂っぽいということは発生しない fact7: みねみよLv.86事件が起きる fact8: ぽゆぽいLv.15事件は「少ないということではなくて熱いということが起きる」ということのきっかけとなる
fact5 -> int1: はぐることが発生する; int1 & fact7 -> int2: はぐることとみねみよLv.86事件が起こる; int2 & fact2 -> hypothesis;
fact5 -> int1: {B}; int1 & fact7 -> int2: ({B} & {C}); int2 & fact2 -> hypothesis;
愛情深いということが発生する
$facts$ = fact1: はぐることは起こらないということは「愛情深いということが起こるし突き回すことが生じる」ということをもたらす fact2: 「愛情深いということは起こらない」ということははぐることとみねみよLv.86事件が起きるにより生じる fact3: 少ないということは発生しないということは「はぐることではなくみねみよLv.86事件が起きる」ということの原因となる fact4: 脂っぽいということは起きないということは「ぽゆぽいLv.15事件が発生するし強いということが起こる」ということを生じさせる fact5: 突き回すこととはぐることが生じる fact6: 仮に「ぴにゅぴよLv.11事件ではなくて脂っぽいということが起こる」ということは成り立たないとしたら脂っぽいということは発生しない fact7: みねみよLv.86事件が起きる fact8: ぽゆぽいLv.15事件は「少ないということではなくて熱いということが起きる」ということのきっかけとなる ; $hypothesis$ = 愛情深いということは起きない ; $proof$ = 
fact5 -> int1: はぐることが発生する; int1 & fact7 -> int2: はぐることとみねみよLv.86事件が起こる; int2 & fact2 -> hypothesis; __PROVED__
fact5 -> int1: {B}; int1 & fact7 -> int2: ({B} & {C}); int2 & fact2 -> hypothesis; __PROVED__