「もし仮に「あの筋力アップは遺産相続でないし人口調査でない」ということは誤りだとすればあの筋力アップは遺産相続である」ということは間違っている
fact1: 「あの筋力アップは遺産相続であるけど人口調査でない」ということは間違っている fact2: もしもこの公的保険が暗くない一方で小煩いとすればこの技術職は旧建物である fact3: なんらかのものは人口調査であるなら「それは本当らしくないし更に遺産相続でない」ということは嘘だ fact4: この塒は二回路であるけどそれは復興支援でない fact5: 仮にこの塒が二回路であるけど復興支援でないとしたら「それは不良共でない」ということは成り立つ fact6: あの筋力アップは人口調査でない fact7: もし「あの筋力アップは人口調査だ」ということは真実であるとしたら「その御内は人口調査である」ということは誤っていない fact8: もし仮になんらかの物は人口調査でないしさらに遺産相続でないなら隠し続けない fact9: 不良共は人口調査である fact10: 騎乗停止は暗くないけれど小煩い fact11: あの筋力アップは遺産相続でないしその上防御態勢でない fact12: もし仮に「その範冬は同参しない」ということは事実であるとすればあの公的保険は騎乗停止であるししかも作者である fact13: この塒は不良共でない fact14: 何らかのものが作り易いとすればそれは規則正しくない fact15: この象牙は人口調査でない fact16: 仮にこの塒が不良共でないしそれが規則正しくないならあの筋力アップは不良共だ fact17: 「その小山は運悪くなくてそれに作者であるということはない」ということは誤っている fact18: もしこの細川政権が晴れはましくらなくてしかも人口調査でないとしたら「それは晴れがましい」ということは確かである fact19: あの筋力アップは下線でない fact20: もしもこの技術職が旧建物であるとするとこの塒は作り易い
void -> assump2: 以下のように仮定する。あの筋力アップは遺産相続でない; assump2 & fact6 -> int1: あの筋力アップは遺産相続でないしそれは人口調査でない; void -> assump1: 以下のように仮定する。「あの筋力アップは遺産相続でないしその上人口調査でない」ということは間違いだ; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: あの筋力アップは遺産相続だ; [assump1] & int3 -> hypothesis;
あの筋力アップは隠し続けないしさらに転入しない
fact22 -> int4: 仮にあの筋力アップは人口調査でないし遺産相続でないとするとそれは隠し続けるということはない;
$facts$ = fact1: 「あの筋力アップは遺産相続であるけど人口調査でない」ということは間違っている fact2: もしもこの公的保険が暗くない一方で小煩いとすればこの技術職は旧建物である fact3: なんらかのものは人口調査であるなら「それは本当らしくないし更に遺産相続でない」ということは嘘だ fact4: この塒は二回路であるけどそれは復興支援でない fact5: 仮にこの塒が二回路であるけど復興支援でないとしたら「それは不良共でない」ということは成り立つ fact6: あの筋力アップは人口調査でない fact7: もし「あの筋力アップは人口調査だ」ということは真実であるとしたら「その御内は人口調査である」ということは誤っていない fact8: もし仮になんらかの物は人口調査でないしさらに遺産相続でないなら隠し続けない fact9: 不良共は人口調査である fact10: 騎乗停止は暗くないけれど小煩い fact11: あの筋力アップは遺産相続でないしその上防御態勢でない fact12: もし仮に「その範冬は同参しない」ということは事実であるとすればあの公的保険は騎乗停止であるししかも作者である fact13: この塒は不良共でない fact14: 何らかのものが作り易いとすればそれは規則正しくない fact15: この象牙は人口調査でない fact16: 仮にこの塒が不良共でないしそれが規則正しくないならあの筋力アップは不良共だ fact17: 「その小山は運悪くなくてそれに作者であるということはない」ということは誤っている fact18: もしこの細川政権が晴れはましくらなくてしかも人口調査でないとしたら「それは晴れがましい」ということは確かである fact19: あの筋力アップは下線でない fact20: もしもこの技術職が旧建物であるとするとこの塒は作り易い ; $hypothesis$ = 「もし仮に「あの筋力アップは遺産相続でないし人口調査でない」ということは誤りだとすればあの筋力アップは遺産相続である」ということは間違っている ; $proof$ = 
void -> assump2: 以下のように仮定する。あの筋力アップは遺産相続でない; assump2 & fact6 -> int1: あの筋力アップは遺産相続でないしそれは人口調査でない; void -> assump1: 以下のように仮定する。「あの筋力アップは遺産相続でないしその上人口調査でない」ということは間違いだ; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: あの筋力アップは遺産相続だ; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: 「あの筋力アップは遺産相続であるけど人口調査でない」ということは間違っている
事実2: もしもこの公的保険が暗くない一方で小煩いとすればこの技術職は旧建物である
事実3: なんらかのものは人口調査であるなら「それは本当らしくないし更に遺産相続でない」ということは嘘だ
事実4: この塒は二回路であるけどそれは復興支援でない
事実5: 仮にこの塒が二回路であるけど復興支援でないとしたら「それは不良共でない」ということは成り立つ
事実6: あの筋力アップは人口調査でない
事実7: もし「あの筋力アップは人口調査だ」ということは真実であるとしたら「その御内は人口調査である」ということは誤っていない
事実8: もし仮になんらかの物は人口調査でないしさらに遺産相続でないなら隠し続けない
事実9: 不良共は人口調査である
事実10: 騎乗停止は暗くないけれど小煩い
事実11: あの筋力アップは遺産相続でないしその上防御態勢でない
事実12: もし仮に「その範冬は同参しない」ということは事実であるとすればあの公的保険は騎乗停止であるししかも作者である
事実13: この塒は不良共でない
事実14: 何らかのものが作り易いとすればそれは規則正しくない
事実15: この象牙は人口調査でない
事実16: 仮にこの塒が不良共でないしそれが規則正しくないならあの筋力アップは不良共だ
事実17: 「その小山は運悪くなくてそれに作者であるということはない」ということは誤っている
事実18: もしこの細川政権が晴れはましくらなくてしかも人口調査でないとしたら「それは晴れがましい」ということは確かである
事実19: あの筋力アップは下線でない
事実20: もしもこの技術職が旧建物であるとするとこの塒は作り易い

仮説: 「もし仮に「あの筋力アップは遺産相続でないし人口調査でない」ということは誤りだとすればあの筋力アップは遺産相続である」ということは間違っている
1. 仮定2: 以下のように仮定する。あの筋力アップは遺産相続でない
2. 仮定2と事実6から、推論1: "あの筋力アップは遺産相続でないしそれは人口調査でない"が導かれる
3. 仮定1: 以下のように仮定する。「あの筋力アップは遺産相続でないしその上人口調査でない」ということは間違いだ
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "あの筋力アップは遺産相続だ"が導かれる
6. [仮定1]と推論3から、仮説が否定される

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