この抗重力筋は調べ直さない
fact1: この抗重力筋は社会主義計画経済であるということはない fact2: もし仮に「この抗重力筋は着続けない一方で降り始める」ということは嘘だとすると所らしくない fact3: 「この抗重力筋は着続けないが降り始める」ということは間違いだ fact4: もしもこの抗重力筋が所らしいということはないとするとそれは社会主義計画経済でない fact5: 仮にこの抗重力筋が降り始めないとしたら所らしいということはない fact6: もしこの抗重力筋が所らしくないとすれば社会主義計画経済であるということはなくて加えてそれは調べ直す
fact2 & fact3 -> int1: この抗重力筋は所らしくない; int1 & fact6 -> int2: この抗重力筋は社会主義計画経済でないがそれは調べ直す; int2 -> hypothesis;
$facts$ = fact1: この抗重力筋は社会主義計画経済であるということはない fact2: もし仮に「この抗重力筋は着続けない一方で降り始める」ということは嘘だとすると所らしくない fact3: 「この抗重力筋は着続けないが降り始める」ということは間違いだ fact4: もしもこの抗重力筋が所らしいということはないとするとそれは社会主義計画経済でない fact5: 仮にこの抗重力筋が降り始めないとしたら所らしいということはない fact6: もしこの抗重力筋が所らしくないとすれば社会主義計画経済であるということはなくて加えてそれは調べ直す ; $hypothesis$ = この抗重力筋は調べ直さない ; $proof$ = 
fact2 & fact3 -> int1: この抗重力筋は所らしくない; int1 & fact6 -> int2: この抗重力筋は社会主義計画経済でないがそれは調べ直す; int2 -> hypothesis; __DISPROVED__
事実1: この抗重力筋は社会主義計画経済であるということはない
事実2: もし仮に「この抗重力筋は着続けない一方で降り始める」ということは嘘だとすると所らしくない
事実3: 「この抗重力筋は着続けないが降り始める」ということは間違いだ
事実4: もしもこの抗重力筋が所らしいということはないとするとそれは社会主義計画経済でない
事実5: 仮にこの抗重力筋が降り始めないとしたら所らしいということはない
事実6: もしこの抗重力筋が所らしくないとすれば社会主義計画経済であるということはなくて加えてそれは調べ直す

仮説: この抗重力筋は調べ直さない
1. 事実2と事実3から、推論1: "この抗重力筋は所らしくない"が導かれる
2. 推論1と事実6から、推論2: "この抗重力筋は社会主義計画経済でないがそれは調べ直す"が導かれる
3. 推論2から、仮説が否定される

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