この第八集は執念深くない
fact1: もしなにがしかのものがローカルレベルでないなら執念深くてそれに螺子止めしない fact2: もしもあの決め言葉が借地であるしローカルレベルならばこの第八集は執念深い fact3: もし仮にあの決め言葉が執念深いがしかし螺子止めしないとすればあの第八集は執念深くない fact4: もし仮にその公僕は並び替えれば「あの任免権は目覚ましいかもしくは蕩かさないかまたは両方ともである」ということは偽だ fact5: 仮にあの決め言葉が借地であるということはないけれどローカルレベルならこの第八集は執念深い fact6: そのロッカールームは並び替える fact7: あの任免権は蕩かす fact8: もし何かは生物全体でないなら「借地でないし並び替える」ということは間違いだ fact9: もし仮にあの任免権が螺子止めしないならあの決め言葉は借地であるということはないけどローカルレベルだ fact10: もしも「その公僕は並び替えない」ということは誤りであるとしたらあの任免権は蕩かす fact11: 「あるものはローカルレベルであるかもしくは螺子止めしないかどちらもである」ということは嘘であるとするとそれは目覚ましいということはない fact12: もしも「あの任免権は目覚ましいかもしくは蕩かすかもしくは両方ともである」ということは成り立たないならばそれは螺子止めしない fact13: 「何かは目覚ましいかまたは蕩かさないか両方である」ということは誤っているなら螺子止めしない fact14: もし仮にあの決め言葉が執念深くないが目覚ましいならばこの第八集はローカルレベルである fact15: その公僕は並び替える
fact13 -> int1: もし「あの任免権は目覚ましいかもしくは蕩かさないかまたはどちらもである」ということは確かでないとすれば螺子止めするということはない; fact15 & fact4 -> int2: 「あの任免権は目覚ましいかもしくはそれは蕩かさない」ということは嘘だ; int1 & int2 -> int3: あの任免権は螺子止めしない; int3 & fact9 -> int4: あの決め言葉は借地だということはないけれどローカルレベルだ; int4 & fact5 -> hypothesis;
この第八集は執念深くない
fact16 -> int5: もしもあの決め言葉がローカルレベルだということはないとしたら執念深いけれど螺子止めしない; fact17 -> int6: もし仮にその公僕は生物全体であるということはないとすると「それは借地でないけど並び替える」ということは間違いである;
$facts$ = fact1: もしなにがしかのものがローカルレベルでないなら執念深くてそれに螺子止めしない fact2: もしもあの決め言葉が借地であるしローカルレベルならばこの第八集は執念深い fact3: もし仮にあの決め言葉が執念深いがしかし螺子止めしないとすればあの第八集は執念深くない fact4: もし仮にその公僕は並び替えれば「あの任免権は目覚ましいかもしくは蕩かさないかまたは両方ともである」ということは偽だ fact5: 仮にあの決め言葉が借地であるということはないけれどローカルレベルならこの第八集は執念深い fact6: そのロッカールームは並び替える fact7: あの任免権は蕩かす fact8: もし何かは生物全体でないなら「借地でないし並び替える」ということは間違いだ fact9: もし仮にあの任免権が螺子止めしないならあの決め言葉は借地であるということはないけどローカルレベルだ fact10: もしも「その公僕は並び替えない」ということは誤りであるとしたらあの任免権は蕩かす fact11: 「あるものはローカルレベルであるかもしくは螺子止めしないかどちらもである」ということは嘘であるとするとそれは目覚ましいということはない fact12: もしも「あの任免権は目覚ましいかもしくは蕩かすかもしくは両方ともである」ということは成り立たないならばそれは螺子止めしない fact13: 「何かは目覚ましいかまたは蕩かさないか両方である」ということは誤っているなら螺子止めしない fact14: もし仮にあの決め言葉が執念深くないが目覚ましいならばこの第八集はローカルレベルである fact15: その公僕は並び替える ; $hypothesis$ = この第八集は執念深くない ; $proof$ = 
fact13 -> int1: もし「あの任免権は目覚ましいかもしくは蕩かさないかまたはどちらもである」ということは確かでないとすれば螺子止めするということはない; fact15 & fact4 -> int2: 「あの任免権は目覚ましいかもしくはそれは蕩かさない」ということは嘘だ; int1 & int2 -> int3: あの任免権は螺子止めしない; int3 & fact9 -> int4: あの決め言葉は借地だということはないけれどローカルレベルだ; int4 & fact5 -> hypothesis; __DISPROVED__
事実1: もしなにがしかのものがローカルレベルでないなら執念深くてそれに螺子止めしない
事実2: もしもあの決め言葉が借地であるしローカルレベルならばこの第八集は執念深い
事実3: もし仮にあの決め言葉が執念深いがしかし螺子止めしないとすればあの第八集は執念深くない
事実4: もし仮にその公僕は並び替えれば「あの任免権は目覚ましいかもしくは蕩かさないかまたは両方ともである」ということは偽だ
事実5: 仮にあの決め言葉が借地であるということはないけれどローカルレベルならこの第八集は執念深い
事実6: そのロッカールームは並び替える
事実7: あの任免権は蕩かす
事実8: もし何かは生物全体でないなら「借地でないし並び替える」ということは間違いだ
事実9: もし仮にあの任免権が螺子止めしないならあの決め言葉は借地であるということはないけどローカルレベルだ
事実10: もしも「その公僕は並び替えない」ということは誤りであるとしたらあの任免権は蕩かす
事実11: 「あるものはローカルレベルであるかもしくは螺子止めしないかどちらもである」ということは嘘であるとするとそれは目覚ましいということはない
事実12: もしも「あの任免権は目覚ましいかもしくは蕩かすかもしくは両方ともである」ということは成り立たないならばそれは螺子止めしない
事実13: 「何かは目覚ましいかまたは蕩かさないか両方である」ということは誤っているなら螺子止めしない
事実14: もし仮にあの決め言葉が執念深くないが目覚ましいならばこの第八集はローカルレベルである
事実15: その公僕は並び替える

仮説: この第八集は執念深くない
1. 事実13から、推論1: "もし「あの任免権は目覚ましいかもしくは蕩かさないかまたはどちらもである」ということは確かでないとすれば螺子止めするということはない"が導かれる
2. 事実15と事実4から、推論2: "「あの任免権は目覚ましいかもしくはそれは蕩かさない」ということは嘘だ"が導かれる
3. 推論1と推論2から、推論3: "あの任免権は螺子止めしない"が導かれる
4. 推論3と事実9から、推論4: "あの決め言葉は借地だということはないけれどローカルレベルだ"が導かれる
5. 推論4と事実5から、仮説が否定される

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