集め易いということが起こるし話し辛いということが起こる
fact1: 「不味いということは生じない」ということは「底堅いということではなくて結合し易いということが生じる」ということを招く fact2: もし仮に「潔いということは発生するがぽちゅぽにLv.7事件は発生しない」ということは成り立たないとすると束縛することは生じない fact3: 底堅いということは起こらないとしたら「「集め易いということと話し辛いということどちらもが生じる」ということは成り立つ」ということは成り立たない fact4: 滞り易いということは起きないとすれば「潔いということが起こるがぽちゅぽにLv.7事件は起きない」ということは成り立たない fact5: 束縛することは起こらないということは「もねもくLv.43事件は発生しなくてかつ不味いということは起きない」ということをもたらす fact6: 底堅いということが起こるし更に集め易いということが発生する fact7: 話し辛いということが起こる
fact6 -> int1: 「集め易いということが起こる」ということは事実である; int1 & fact7 -> hypothesis;
fact6 -> int1: {B}; int1 & fact7 -> hypothesis;
「集め易いということが起きるし加えて話し辛いということが生じる」ということは間違いである
$facts$ = fact1: 「不味いということは生じない」ということは「底堅いということではなくて結合し易いということが生じる」ということを招く fact2: もし仮に「潔いということは発生するがぽちゅぽにLv.7事件は発生しない」ということは成り立たないとすると束縛することは生じない fact3: 底堅いということは起こらないとしたら「「集め易いということと話し辛いということどちらもが生じる」ということは成り立つ」ということは成り立たない fact4: 滞り易いということは起きないとすれば「潔いということが起こるがぽちゅぽにLv.7事件は起きない」ということは成り立たない fact5: 束縛することは起こらないということは「もねもくLv.43事件は発生しなくてかつ不味いということは起きない」ということをもたらす fact6: 底堅いということが起こるし更に集め易いということが発生する fact7: 話し辛いということが起こる ; $hypothesis$ = 集め易いということが起こるし話し辛いということが起こる ; $proof$ = 
fact6 -> int1: 「集め易いということが起こる」ということは事実である; int1 & fact7 -> hypothesis; __PROVED__
fact6 -> int1: {B}; int1 & fact7 -> hypothesis; __PROVED__