心憎いということが起きる
fact1: 「心憎いということおよび得られ易いということどちらもが生じる」ということは事実と異なれば心憎いということは生じない fact2: 弛み無いということは発生しないということはまにょまえLv.63事件を招く fact3: 間伐することと得られ易いということが起きる fact4: 心憎いということはまにょまえLv.63事件に誘発される fact5: もしも得られ易いということは起こらないとすればまいまにLv.55事件が発生するし間伐することが起こる fact6: 「得られ易いということが発生するか汚らわしいということは発生する」ということは弛み無いということは生じないということを発生させる
fact3 -> int1: 得られ易いということが生じる; int1 -> int2: 得られ易いということかあるいは汚らわしいということかあるいは両方ともが生じる; int2 & fact6 -> int3: 弛み無いということは起こらない; int3 & fact2 -> int4: まにょまえLv.63事件が生じる; int4 & fact4 -> hypothesis;
fact3 -> int1: {B}; int1 -> int2: ({B} v {C}); int2 & fact6 -> int3: ¬{D}; int3 & fact2 -> int4: {E}; int4 & fact4 -> hypothesis;
まいまにLv.55事件が発生する
$facts$ = fact1: 「心憎いということおよび得られ易いということどちらもが生じる」ということは事実と異なれば心憎いということは生じない fact2: 弛み無いということは発生しないということはまにょまえLv.63事件を招く fact3: 間伐することと得られ易いということが起きる fact4: 心憎いということはまにょまえLv.63事件に誘発される fact5: もしも得られ易いということは起こらないとすればまいまにLv.55事件が発生するし間伐することが起こる fact6: 「得られ易いということが発生するか汚らわしいということは発生する」ということは弛み無いということは生じないということを発生させる ; $hypothesis$ = 心憎いということが起きる ; $proof$ = 
fact3 -> int1: 得られ易いということが生じる; int1 -> int2: 得られ易いということかあるいは汚らわしいということかあるいは両方ともが生じる; int2 & fact6 -> int3: 弛み無いということは起こらない; int3 & fact2 -> int4: まにょまえLv.63事件が生じる; int4 & fact4 -> hypothesis; __PROVED__
fact3 -> int1: {B}; int1 -> int2: ({B} v {C}); int2 & fact6 -> int3: ¬{D}; int3 & fact2 -> int4: {E}; int4 & fact4 -> hypothesis; __PROVED__