「この統計局は脳器質性疾患でないかあるいは割り引かないか両方だ」ということは間違っている
fact1: もしも「この作業効率は怖くなくて悲しということはない」ということは確かでないとすればこの統計局は脳器質性疾患であるということはない fact2: この作業効率は悲しないかもしくは割り引くということはないかどちらもだ fact3: 「この新株式は著効するけれどそれは怖くない」ということは成り立たない fact4: この統計局は怖いか脳器質性疾患でないかもしくは両方である fact5: もしもこの作業効率は脳器質性疾患だとすると「この統計局は怖くない」ということは成り立つ fact6: 「この作業効率は怖いということはなくて加えて悲しない」ということは事実でない fact7: 「この作業効率は怖い一方で悲しない」ということは事実と異なる fact8: もしこの統計局が悲しとすればこの作業効率は脳器質性疾患でない fact9: 仮に「この統計局は割り引かないし加えて悲しということはない」ということは成り立つということはないとするとこの作業効率は怖くない fact10: この作業効率は割り引かないかあるいは怖いかまたは両方ともである fact11: 「この統計局は割り引かなくてしかも悲しない」ということは偽だ fact12: もしこの統計局が怖いとすればあの作業効率は脳器質性疾患でない fact13: この統計局は脳器質性疾患であるか割り引くということはないかもしくはどちらもだ fact14: この統計局は脳器質性疾患でないかまたはそれは割り引く fact15: この作業効率は怖くないかもしくは脳器質性疾患でない fact16: もしこの作業効率が怖いならばこの統計局は脳器質性疾患でない fact17: その時間窓は割り引かない fact18: この統計局は悲しか割り引かないかあるいはどちらもである fact19: この作業効率が脳器質性疾患だとしたらこの統計局は悲しない
fact1 & fact6 -> int1: この統計局は脳器質性疾患でない; int1 -> hypothesis;
$facts$ = fact1: もしも「この作業効率は怖くなくて悲しということはない」ということは確かでないとすればこの統計局は脳器質性疾患であるということはない fact2: この作業効率は悲しないかもしくは割り引くということはないかどちらもだ fact3: 「この新株式は著効するけれどそれは怖くない」ということは成り立たない fact4: この統計局は怖いか脳器質性疾患でないかもしくは両方である fact5: もしもこの作業効率は脳器質性疾患だとすると「この統計局は怖くない」ということは成り立つ fact6: 「この作業効率は怖いということはなくて加えて悲しない」ということは事実でない fact7: 「この作業効率は怖い一方で悲しない」ということは事実と異なる fact8: もしこの統計局が悲しとすればこの作業効率は脳器質性疾患でない fact9: 仮に「この統計局は割り引かないし加えて悲しということはない」ということは成り立つということはないとするとこの作業効率は怖くない fact10: この作業効率は割り引かないかあるいは怖いかまたは両方ともである fact11: 「この統計局は割り引かなくてしかも悲しない」ということは偽だ fact12: もしこの統計局が怖いとすればあの作業効率は脳器質性疾患でない fact13: この統計局は脳器質性疾患であるか割り引くということはないかもしくはどちらもだ fact14: この統計局は脳器質性疾患でないかまたはそれは割り引く fact15: この作業効率は怖くないかもしくは脳器質性疾患でない fact16: もしこの作業効率が怖いならばこの統計局は脳器質性疾患でない fact17: その時間窓は割り引かない fact18: この統計局は悲しか割り引かないかあるいはどちらもである fact19: この作業効率が脳器質性疾患だとしたらこの統計局は悲しない ; $hypothesis$ = 「この統計局は脳器質性疾患でないかあるいは割り引かないか両方だ」ということは間違っている ; $proof$ = 
fact1 & fact6 -> int1: この統計局は脳器質性疾患でない; int1 -> hypothesis; __DISPROVED__
事実1: もしも「この作業効率は怖くなくて悲しということはない」ということは確かでないとすればこの統計局は脳器質性疾患であるということはない
事実2: この作業効率は悲しないかもしくは割り引くということはないかどちらもだ
事実3: 「この新株式は著効するけれどそれは怖くない」ということは成り立たない
事実4: この統計局は怖いか脳器質性疾患でないかもしくは両方である
事実5: もしもこの作業効率は脳器質性疾患だとすると「この統計局は怖くない」ということは成り立つ
事実6: 「この作業効率は怖いということはなくて加えて悲しない」ということは事実でない
事実7: 「この作業効率は怖い一方で悲しない」ということは事実と異なる
事実8: もしこの統計局が悲しとすればこの作業効率は脳器質性疾患でない
事実9: 仮に「この統計局は割り引かないし加えて悲しということはない」ということは成り立つということはないとするとこの作業効率は怖くない
事実10: この作業効率は割り引かないかあるいは怖いかまたは両方ともである
事実11: 「この統計局は割り引かなくてしかも悲しない」ということは偽だ
事実12: もしこの統計局が怖いとすればあの作業効率は脳器質性疾患でない
事実13: この統計局は脳器質性疾患であるか割り引くということはないかもしくはどちらもだ
事実14: この統計局は脳器質性疾患でないかまたはそれは割り引く
事実15: この作業効率は怖くないかもしくは脳器質性疾患でない
事実16: もしこの作業効率が怖いならばこの統計局は脳器質性疾患でない
事実17: その時間窓は割り引かない
事実18: この統計局は悲しか割り引かないかあるいはどちらもである
事実19: この作業効率が脳器質性疾患だとしたらこの統計局は悲しない

仮説: 「この統計局は脳器質性疾患でないかあるいは割り引かないか両方だ」ということは間違っている
1. 事実1と事実6から、推論1: "この統計局は脳器質性疾患でない"が導かれる
2. 推論1から、仮説が否定される

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