「この具体例は継承する」ということは誤りでない
fact1: 仮にとあるものは刻印でないとすれば「寄付するし手厳しい」ということは事実と異なる fact2: もし仮に「あの義塾は怪しい」ということは成り立てばこの全国比は寄付する fact3: もし「あの義塾は寄付するし更に手厳しい」ということは嘘だとしたらこの具体例は怪しいということはない fact4: もしも何らかの物が怪しいかあるいはそれは継承しないかもしくはどちらもならそれは手厳しくない fact5: 仮にこの全国比は寄付するということはないならば「手厳しくない」ということは事実だ fact6: 仮にこの全国比が寄付するならこの具体例は寄付するか手厳しい fact7: あの送別会は寄付する fact8: この具体例は寄付するかもしくはそれは手厳しい fact9: もし何らかのものは捨て去れないが監査役全員であるとしたら刻印でない fact10: この具体例は打ち出す fact11: 「この医事は監査役全員でない一方でそれは手厳しい」ということは成り立たないとすると「この全国比は手厳しくない」ということは成り立つ fact12: その御隣りは寄付しない fact13: あの義塾は継承しない fact14: もしあの義塾が寄付するならばあの具体例は寄付するか手厳しくないかあるいは両方だ fact15: あの義塾は怪しい fact16: この具体例が寄付するならこの全国比は寄付するか手厳しくない fact17: もしも「この全国比は継承する」ということは成り立つとするとこの具体例は寄付する fact18: 仮にこの全国比が寄付するとするとこの具体例は寄付するかまたはそれは手厳しいということはないか両方ともだ fact19: 手厳しいということはない物は継承しない fact20: この老幼は捨て去れない fact21: もし仮にとある物が捨て去れないならばこの医事は刻印でない fact22: この具体例が手厳しくないならば継承しない fact23: もしも何らかの物が寄付するかまたは手厳しくないかもしくは両方だとすれば「それは継承しない」ということは本当だ fact24: とあるものは刻印でないとしたら「監査役全員でないしそれは手厳しい」ということは成り立たない
fact2 & fact15 -> int1: この全国比は寄付する; int1 & fact18 -> int2: この具体例は寄付するかあるいは手厳しくない; fact23 -> int3: もし仮にこの具体例は寄付するかまたは手厳しくないかあるいはどちらもだとするとそれは継承しない; int2 & int3 -> hypothesis;
fact2 & fact15 -> int1: {B}{b}; int1 & fact18 -> int2: ({B}{c} v ¬{D}{c}); fact23 -> int3: ({B}{c} v ¬{D}{c}) -> ¬{C}{c}; int2 & int3 -> hypothesis;
この具体例は継承する
fact25 -> int4: 仮にこの医事は刻印でないならば「それは監査役全員であるということはなくてまた手厳しい」ということは誤りだ; fact26 -> int5: 「「捨て去れない」ということは確かな」ものはある; int5 & fact27 -> int6: この医事は刻印でない; int4 & int6 -> int7: 「この医事は監査役全員でないけれどそれは手厳しい」ということは誤りである; fact28 & int7 -> int8: この全国比は手厳しくない; int8 -> int9: 「手厳しくない」ものはある;
$facts$ = fact1: 仮にとあるものは刻印でないとすれば「寄付するし手厳しい」ということは事実と異なる fact2: もし仮に「あの義塾は怪しい」ということは成り立てばこの全国比は寄付する fact3: もし「あの義塾は寄付するし更に手厳しい」ということは嘘だとしたらこの具体例は怪しいということはない fact4: もしも何らかの物が怪しいかあるいはそれは継承しないかもしくはどちらもならそれは手厳しくない fact5: 仮にこの全国比は寄付するということはないならば「手厳しくない」ということは事実だ fact6: 仮にこの全国比が寄付するならこの具体例は寄付するか手厳しい fact7: あの送別会は寄付する fact8: この具体例は寄付するかもしくはそれは手厳しい fact9: もし何らかのものは捨て去れないが監査役全員であるとしたら刻印でない fact10: この具体例は打ち出す fact11: 「この医事は監査役全員でない一方でそれは手厳しい」ということは成り立たないとすると「この全国比は手厳しくない」ということは成り立つ fact12: その御隣りは寄付しない fact13: あの義塾は継承しない fact14: もしあの義塾が寄付するならばあの具体例は寄付するか手厳しくないかあるいは両方だ fact15: あの義塾は怪しい fact16: この具体例が寄付するならこの全国比は寄付するか手厳しくない fact17: もしも「この全国比は継承する」ということは成り立つとするとこの具体例は寄付する fact18: 仮にこの全国比が寄付するとするとこの具体例は寄付するかまたはそれは手厳しいということはないか両方ともだ fact19: 手厳しいということはない物は継承しない fact20: この老幼は捨て去れない fact21: もし仮にとある物が捨て去れないならばこの医事は刻印でない fact22: この具体例が手厳しくないならば継承しない fact23: もしも何らかの物が寄付するかまたは手厳しくないかもしくは両方だとすれば「それは継承しない」ということは本当だ fact24: とあるものは刻印でないとしたら「監査役全員でないしそれは手厳しい」ということは成り立たない ; $hypothesis$ = 「この具体例は継承する」ということは誤りでない ; $proof$ = 
fact2 & fact15 -> int1: この全国比は寄付する; int1 & fact18 -> int2: この具体例は寄付するかあるいは手厳しくない; fact23 -> int3: もし仮にこの具体例は寄付するかまたは手厳しくないかあるいはどちらもだとするとそれは継承しない; int2 & int3 -> hypothesis; __DISPROVED__
事実1: 仮にとあるものは刻印でないとすれば「寄付するし手厳しい」ということは事実と異なる
事実2: もし仮に「あの義塾は怪しい」ということは成り立てばこの全国比は寄付する
事実3: もし「あの義塾は寄付するし更に手厳しい」ということは嘘だとしたらこの具体例は怪しいということはない
事実4: もしも何らかの物が怪しいかあるいはそれは継承しないかもしくはどちらもならそれは手厳しくない
事実5: 仮にこの全国比は寄付するということはないならば「手厳しくない」ということは事実だ
事実6: 仮にこの全国比が寄付するならこの具体例は寄付するか手厳しい
事実7: あの送別会は寄付する
事実8: この具体例は寄付するかもしくはそれは手厳しい
事実9: もし何らかのものは捨て去れないが監査役全員であるとしたら刻印でない
事実10: この具体例は打ち出す
事実11: 「この医事は監査役全員でない一方でそれは手厳しい」ということは成り立たないとすると「この全国比は手厳しくない」ということは成り立つ
事実12: その御隣りは寄付しない
事実13: あの義塾は継承しない
事実14: もしあの義塾が寄付するならばあの具体例は寄付するか手厳しくないかあるいは両方だ
事実15: あの義塾は怪しい
事実16: この具体例が寄付するならこの全国比は寄付するか手厳しくない
事実17: もしも「この全国比は継承する」ということは成り立つとするとこの具体例は寄付する
事実18: 仮にこの全国比が寄付するとするとこの具体例は寄付するかまたはそれは手厳しいということはないか両方ともだ
事実19: 手厳しいということはない物は継承しない
事実20: この老幼は捨て去れない
事実21: もし仮にとある物が捨て去れないならばこの医事は刻印でない
事実22: この具体例が手厳しくないならば継承しない
事実23: もしも何らかの物が寄付するかまたは手厳しくないかもしくは両方だとすれば「それは継承しない」ということは本当だ
事実24: とあるものは刻印でないとしたら「監査役全員でないしそれは手厳しい」ということは成り立たない

仮説: 「この具体例は継承する」ということは誤りでない
1. 事実2と事実15から、推論1: "この全国比は寄付する"が導かれる
2. 推論1と事実18から、推論2: "この具体例は寄付するかあるいは手厳しくない"が導かれる
3. 事実23から、推論3: "もし仮にこの具体例は寄付するかまたは手厳しくないかあるいはどちらもだとするとそれは継承しない"が導かれる
4. 推論2と推論3から、仮説が否定される

よって、仮説が否定されました。