読み難いということは発生しない
fact1: もしも「ミスリードすることは発生しなくて軽ーいということは起こらない」ということは成り立たないなら厳しいということが起きる fact2: 「まのまのLv.68事件は起きない」ということは「照れ臭いということおよび転び易いということが生じる」ということの原因となる fact3: 軽ーいということとミスリードすることが発生する fact4: 「まのまのLv.68事件は起きない」ということは使い辛いということと遅れ易いということが起きるが契機だ fact5: 読み難いということはミスリードすることが原因だ fact6: もし仮に読み難いということは発生しないとしたら「ミスリードすることは起きなくて加えて軽ーいということは発生しない」ということは事実でない fact7: 読み難いということが起こるということは「照れ臭いということは発生するしぷやぷにゅLv.6事件は起きない」ということに阻まれる
fact3 -> int1: ミスリードすることが起きる; int1 & fact5 -> hypothesis;
fact3 -> int1: {B}; int1 & fact5 -> hypothesis;
厳しいということが生じる
$facts$ = fact1: もしも「ミスリードすることは発生しなくて軽ーいということは起こらない」ということは成り立たないなら厳しいということが起きる fact2: 「まのまのLv.68事件は起きない」ということは「照れ臭いということおよび転び易いということが生じる」ということの原因となる fact3: 軽ーいということとミスリードすることが発生する fact4: 「まのまのLv.68事件は起きない」ということは使い辛いということと遅れ易いということが起きるが契機だ fact5: 読み難いということはミスリードすることが原因だ fact6: もし仮に読み難いということは発生しないとしたら「ミスリードすることは起きなくて加えて軽ーいということは発生しない」ということは事実でない fact7: 読み難いということが起こるということは「照れ臭いということは発生するしぷやぷにゅLv.6事件は起きない」ということに阻まれる ; $hypothesis$ = 読み難いということは発生しない ; $proof$ = 
fact3 -> int1: ミスリードすることが起きる; int1 & fact5 -> hypothesis; __DISPROVED__
fact3 -> int1: {B}; int1 & fact5 -> hypothesis; __DISPROVED__