騒がしいということは生じない
fact1: 「看過し難いということが生じるし忘れ難いということは発生しない」ということは嘘である fact2: 「用い始めることは起こらなくてまた伝わり難いということは起こらない」ということは嘘である fact3: もしみのみのLv.9事件が生じるしまたもねもえLv.79事件が発生すれば騒がしいということは発生しない fact4: 仮に「し為さることが発生しなくてかつもねもなLv.19事件は起きない」ということは嘘であるとしたらもいもにゅLv.49事件が発生する fact5: 仮に「用い始めることは起きなくて伝わり難いということは起きない」ということは成り立つということはないとするとみのみのLv.9事件が発生する fact6: もねもえLv.79事件が生じる fact7: もし仮に「御寒いということは起きないしおまけにもくもくLv.85事件は生じない」ということは成り立たないとすればあどけないということが生じる fact8: 平べったいということは起きない
fact5 & fact2 -> int1: みのみのLv.9事件が発生する; int1 & fact6 -> int2: みのみのLv.9事件が生じるしもねもえLv.79事件が発生する; int2 & fact3 -> hypothesis;
fact5 & fact2 -> int1: {B}; int1 & fact6 -> int2: ({B} & {A}); int2 & fact3 -> hypothesis;
$facts$ = fact1: 「看過し難いということが生じるし忘れ難いということは発生しない」ということは嘘である fact2: 「用い始めることは起こらなくてまた伝わり難いということは起こらない」ということは嘘である fact3: もしみのみのLv.9事件が生じるしまたもねもえLv.79事件が発生すれば騒がしいということは発生しない fact4: 仮に「し為さることが発生しなくてかつもねもなLv.19事件は起きない」ということは嘘であるとしたらもいもにゅLv.49事件が発生する fact5: 仮に「用い始めることは起きなくて伝わり難いということは起きない」ということは成り立つということはないとするとみのみのLv.9事件が発生する fact6: もねもえLv.79事件が生じる fact7: もし仮に「御寒いということは起きないしおまけにもくもくLv.85事件は生じない」ということは成り立たないとすればあどけないということが生じる fact8: 平べったいということは起きない ; $hypothesis$ = 騒がしいということは生じない ; $proof$ = 
fact5 & fact2 -> int1: みのみのLv.9事件が発生する; int1 & fact6 -> int2: みのみのLv.9事件が生じるしもねもえLv.79事件が発生する; int2 & fact3 -> hypothesis; __PROVED__
fact5 & fact2 -> int1: {B}; int1 & fact6 -> int2: ({B} & {A}); int2 & fact3 -> hypothesis; __PROVED__