軽々しいということは生じない
fact1: 「「ぽくぽなLv.99事件は発生しない」ということは事実だ」ということは偽だ fact2: みちょみにょLv.75事件が生じるかあるいは青しということが起きるかまたは両方ともならば軽々しいということは生じない fact3: みちゃみなLv.78事件が起こる fact4: ぽくぽなLv.99事件と青しということどちらもが起きる fact5: ぽくぽなLv.99事件および心深しということが生じる fact6: もし仮に「青しということは生じない」ということは成り立てば軽々しいということとぽくぽなLv.99事件どちらもが起きる
fact4 -> int1: 「青しということが起こる」ということは成り立つ; int1 -> int2: みちょみにょLv.75事件かまたは青しということかもしくはどちらもが生じる; int2 & fact2 -> hypothesis;
fact4 -> int1: {B}; int1 -> int2: ({C} v {B}); int2 & fact2 -> hypothesis;
軽々しいということが起きる
$facts$ = fact1: 「「ぽくぽなLv.99事件は発生しない」ということは事実だ」ということは偽だ fact2: みちょみにょLv.75事件が生じるかあるいは青しということが起きるかまたは両方ともならば軽々しいということは生じない fact3: みちゃみなLv.78事件が起こる fact4: ぽくぽなLv.99事件と青しということどちらもが起きる fact5: ぽくぽなLv.99事件および心深しということが生じる fact6: もし仮に「青しということは生じない」ということは成り立てば軽々しいということとぽくぽなLv.99事件どちらもが起きる ; $hypothesis$ = 軽々しいということは生じない ; $proof$ = 
fact4 -> int1: 「青しということが起こる」ということは成り立つ; int1 -> int2: みちょみにょLv.75事件かまたは青しということかもしくはどちらもが生じる; int2 & fact2 -> hypothesis; __PROVED__
fact4 -> int1: {B}; int1 -> int2: ({C} v {B}); int2 & fact2 -> hypothesis; __PROVED__