手緩いということではなく心優しいということが生じる
fact1: 「まにゃまくLv.42事件が起こるかあるいはぴねぴえLv.52事件が発生する」ということは正しい fact2: 退任することが発生する fact3: 事故死することかまたは与えることかまたはどちらもが生じる fact4: 騙され易いということが生じる fact5: 「手緩いということではなくて心優しいということが起きる」ということは心優しいということが契機だ fact6: 甘いということかもしくはぽくぽわLv.93事件か両方ともが起こる fact7: 「心優しいということは起こらない」ということは事故死することに防がれる fact8: もし仮に事故死することは発生しないとすると「手緩いということではなくて心優しいということが生じる」ということは間違っている fact9: 心優しいということは起きないということは与えることに阻止される
fact3 & fact7 & fact9 -> int1: 心優しいということが起こる; int1 & fact5 -> hypothesis;
fact3 & fact7 & fact9 -> int1: {C}; int1 & fact5 -> hypothesis;
「手緩いということは起きない一方で心優しいということが起こる」ということは偽である
$facts$ = fact1: 「まにゃまくLv.42事件が起こるかあるいはぴねぴえLv.52事件が発生する」ということは正しい fact2: 退任することが発生する fact3: 事故死することかまたは与えることかまたはどちらもが生じる fact4: 騙され易いということが生じる fact5: 「手緩いということではなくて心優しいということが起きる」ということは心優しいということが契機だ fact6: 甘いということかもしくはぽくぽわLv.93事件か両方ともが起こる fact7: 「心優しいということは起こらない」ということは事故死することに防がれる fact8: もし仮に事故死することは発生しないとすると「手緩いということではなくて心優しいということが生じる」ということは間違っている fact9: 心優しいということは起きないということは与えることに阻止される ; $hypothesis$ = 手緩いということではなく心優しいということが生じる ; $proof$ = 
fact3 & fact7 & fact9 -> int1: 心優しいということが起こる; int1 & fact5 -> hypothesis; __PROVED__
fact3 & fact7 & fact9 -> int1: {C}; int1 & fact5 -> hypothesis; __PROVED__