あの本講義は異動であるかまたは殴れるかあるいは両方である
fact1: もしとあるものは解除出来ないならば「それは異動であるかもしくは殴れる」ということは間違いだ fact2: あの本講義は異動でない fact3: あらゆるものは解除出来ない fact4: あのサービス活動が生み給わないならあの本講義は解除出来る fact5: あの出雲国造神賀詞が堤防上だとしたらこの大腸壁は生み給うが共有しない fact6: もしこの大腸壁は生み給う一方で共有しないなら「あのサービス活動は生み給わない」ということは事実である fact7: もし仮に何かは解除出来るならそれは殴れる fact8: もしもとある物が生み給わないかそれが解除出来るとすればそれは金姉でない
fact1 -> int1: 仮にあの本講義は解除出来るということはないとしたら「異動であるかもしくは殴れる」ということは事実と異なる; fact3 -> int2: あの本講義は解除出来ない; int1 & int2 -> hypothesis;
すべての物は金姉でない
fact9 -> int3: 仮にあのサービス活動が生み給わないかあるいは解除出来るとしたら金姉でない;
$facts$ = fact1: もしとあるものは解除出来ないならば「それは異動であるかもしくは殴れる」ということは間違いだ fact2: あの本講義は異動でない fact3: あらゆるものは解除出来ない fact4: あのサービス活動が生み給わないならあの本講義は解除出来る fact5: あの出雲国造神賀詞が堤防上だとしたらこの大腸壁は生み給うが共有しない fact6: もしこの大腸壁は生み給う一方で共有しないなら「あのサービス活動は生み給わない」ということは事実である fact7: もし仮に何かは解除出来るならそれは殴れる fact8: もしもとある物が生み給わないかそれが解除出来るとすればそれは金姉でない ; $hypothesis$ = あの本講義は異動であるかまたは殴れるかあるいは両方である ; $proof$ = 
fact1 -> int1: 仮にあの本講義は解除出来るということはないとしたら「異動であるかもしくは殴れる」ということは事実と異なる; fact3 -> int2: あの本講義は解除出来ない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしとあるものは解除出来ないならば「それは異動であるかもしくは殴れる」ということは間違いだ
事実2: あの本講義は異動でない
事実3: あらゆるものは解除出来ない
事実4: あのサービス活動が生み給わないならあの本講義は解除出来る
事実5: あの出雲国造神賀詞が堤防上だとしたらこの大腸壁は生み給うが共有しない
事実6: もしこの大腸壁は生み給う一方で共有しないなら「あのサービス活動は生み給わない」ということは事実である
事実7: もし仮に何かは解除出来るならそれは殴れる
事実8: もしもとある物が生み給わないかそれが解除出来るとすればそれは金姉でない

仮説: あの本講義は異動であるかまたは殴れるかあるいは両方である
1. 事実1から、推論1: "仮にあの本講義は解除出来るということはないとしたら「異動であるかもしくは殴れる」ということは事実と異なる"が導かれる
2. 事実3から、推論2: "あの本講義は解除出来ない"が導かれる
3. 推論1と推論2から、仮説が否定される

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