牽制し合うことは発生しない
fact1: 仮に擦り付けることは起こらないとすれば捩ることおよび牽制し合うことが起こる fact2: ぷいぷいLv.19事件は起きない fact3: もし仮に「俗っぽいということではなくて成功し易いということが起こる」ということは成り立つということはないとしたら擦り付けることは起こらない fact4: 浮き易いということが起こるしまたみよみにょLv.92事件が起きる fact5: 擦り付けることが起こる fact6: 自動振り分けすることが発生する fact7: 捩ることが発生する
fact7 & fact5 -> int1: 捩ることと擦り付けることが生じる;
fact7 & fact5 -> int1: ({A} & {B});
牽制し合うことが発生する
$facts$ = fact1: 仮に擦り付けることは起こらないとすれば捩ることおよび牽制し合うことが起こる fact2: ぷいぷいLv.19事件は起きない fact3: もし仮に「俗っぽいということではなくて成功し易いということが起こる」ということは成り立つということはないとしたら擦り付けることは起こらない fact4: 浮き易いということが起こるしまたみよみにょLv.92事件が起きる fact5: 擦り付けることが起こる fact6: 自動振り分けすることが発生する fact7: 捩ることが発生する ; $hypothesis$ = 牽制し合うことは発生しない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__