知り難しということが生じる
fact1: もし仮にもにゅもわLv.30事件が起こるとすると「ぽやぽにゃLv.13事件ではなくて一喜一憂することが生じる」ということは嘘である fact2: 「陥り易いということは発生しないけどまゆまにゃLv.66事件が起きる」ということは確かでないとしたら知り難しということが起こる fact3: もしも「ぽやぽにゃLv.13事件は起きないし一喜一憂することが生じる」ということは偽であるとしたら一喜一憂することは起こらない fact4: 一喜一憂することが生じないとすると知り難しということは起きなくてまたもちゃもちゅLv.75事件は発生しない fact5: 陥り易いということは知り難しということが起こるということの原因となる fact6: もしも知り難しということは起こらないとすれば「ぴちゃぴよLv.86事件が発生しない一方で適うことは発生する」ということは事実だということはない fact7: 「陥り易いということではなくまゆまにゃLv.66事件が発生する」ということは偽である
fact7 -> int1: 「陥り易いということではなくまゆまにゃLv.66事件が発生する」ということは偽である; int1 & fact2 -> hypothesis;
fact7 -> int1: ¬(¬{AA} & {AB}); int1 & fact2 -> hypothesis;
「ぴちゃぴよLv.86事件は起こらないが適うことが起きる」ということは偽である
$facts$ = fact1: もし仮にもにゅもわLv.30事件が起こるとすると「ぽやぽにゃLv.13事件ではなくて一喜一憂することが生じる」ということは嘘である fact2: 「陥り易いということは発生しないけどまゆまにゃLv.66事件が起きる」ということは確かでないとしたら知り難しということが起こる fact3: もしも「ぽやぽにゃLv.13事件は起きないし一喜一憂することが生じる」ということは偽であるとしたら一喜一憂することは起こらない fact4: 一喜一憂することが生じないとすると知り難しということは起きなくてまたもちゃもちゅLv.75事件は発生しない fact5: 陥り易いということは知り難しということが起こるということの原因となる fact6: もしも知り難しということは起こらないとすれば「ぴちゃぴよLv.86事件が発生しない一方で適うことは発生する」ということは事実だということはない fact7: 「陥り易いということではなくまゆまにゃLv.66事件が発生する」ということは偽である ; $hypothesis$ = 知り難しということが生じる ; $proof$ = 
fact7 -> int1: 「陥り易いということではなくまゆまにゃLv.66事件が発生する」ということは偽である; int1 & fact2 -> hypothesis; __PROVED__
fact7 -> int1: ¬(¬{AA} & {AB}); int1 & fact2 -> hypothesis; __PROVED__