あの現代医学は定住化でない
fact1: もしも何らかの物は揺曳しないなら「それは定住化でない」ということは偽でない fact2: もし仮にとあるものが揺曳しないならばそれは定住化だ fact3: その土民は資源塵である fact4: 「あの現代医学は基準日現在だ」ということは成り立つ fact5: 仮にこのアニオンギャップは資源塵だとしたら「あの現代医学は定住化である」ということは事実である fact6: 仮に何らかの物が供給不足でないとすればパターン状でその上元正天皇でない fact7: 仮にその不老長生が揺曳しないかまたはそれが基準日現在でないとするとこのアニオンギャップは資源塵だ fact8: 資源塵はアルミホイルであるかあるいは定住化でない fact9: もしあの現代医学が基準日現在だとしたらそれは資源塵であるかもしくは揺曳しないか両方だ fact10: 仮にこのアニオンギャップが資源塵であるとすればあのコンクリート壁は資源塵である fact11: もし仮にあの現代医学が揺曳するということはないとすればそれは定住化である fact12: あの現代医学は女々しい fact13: 資源塵は定住化だということはない fact14: もし仮にこの艦攻隊がパターン状だとすればあの不老長生は最高裁判所裁判官だ fact15: 最高裁判所裁判官は揺曳しないか基準日現在でないかもしくは両方である fact16: もしも「「あの行動綱領はパターン状でない」ということは成り立つ」ということは成り立たないとしたらこの艦攻隊はパターン状だ
fact13 -> int1: 仮にあの現代医学が資源塵だとしたらそれは定住化でない; fact4 & fact9 -> int2: あの現代医学は資源塵であるかまたは揺曳しない; fact1 -> int3: あの現代医学が揺曳するということはないとすれば定住化でない; int1 & int2 & int3 -> hypothesis;
このコンクリート壁はアルミホイルであるかあるいは定住化であるということはない
fact17 -> int4: もしもこのコンクリート壁が資源塵だとするとアルミホイルであるかもしくは定住化でないかあるいは両方である;
$facts$ = fact1: もしも何らかの物は揺曳しないなら「それは定住化でない」ということは偽でない fact2: もし仮にとあるものが揺曳しないならばそれは定住化だ fact3: その土民は資源塵である fact4: 「あの現代医学は基準日現在だ」ということは成り立つ fact5: 仮にこのアニオンギャップは資源塵だとしたら「あの現代医学は定住化である」ということは事実である fact6: 仮に何らかの物が供給不足でないとすればパターン状でその上元正天皇でない fact7: 仮にその不老長生が揺曳しないかまたはそれが基準日現在でないとするとこのアニオンギャップは資源塵だ fact8: 資源塵はアルミホイルであるかあるいは定住化でない fact9: もしあの現代医学が基準日現在だとしたらそれは資源塵であるかもしくは揺曳しないか両方だ fact10: 仮にこのアニオンギャップが資源塵であるとすればあのコンクリート壁は資源塵である fact11: もし仮にあの現代医学が揺曳するということはないとすればそれは定住化である fact12: あの現代医学は女々しい fact13: 資源塵は定住化だということはない fact14: もし仮にこの艦攻隊がパターン状だとすればあの不老長生は最高裁判所裁判官だ fact15: 最高裁判所裁判官は揺曳しないか基準日現在でないかもしくは両方である fact16: もしも「「あの行動綱領はパターン状でない」ということは成り立つ」ということは成り立たないとしたらこの艦攻隊はパターン状だ ; $hypothesis$ = あの現代医学は定住化でない ; $proof$ = 
fact13 -> int1: 仮にあの現代医学が資源塵だとしたらそれは定住化でない; fact4 & fact9 -> int2: あの現代医学は資源塵であるかまたは揺曳しない; fact1 -> int3: あの現代医学が揺曳するということはないとすれば定住化でない; int1 & int2 & int3 -> hypothesis; __PROVED__
事実1: もしも何らかの物は揺曳しないなら「それは定住化でない」ということは偽でない
事実2: もし仮にとあるものが揺曳しないならばそれは定住化だ
事実3: その土民は資源塵である
事実4: 「あの現代医学は基準日現在だ」ということは成り立つ
事実5: 仮にこのアニオンギャップは資源塵だとしたら「あの現代医学は定住化である」ということは事実である
事実6: 仮に何らかの物が供給不足でないとすればパターン状でその上元正天皇でない
事実7: 仮にその不老長生が揺曳しないかまたはそれが基準日現在でないとするとこのアニオンギャップは資源塵だ
事実8: 資源塵はアルミホイルであるかあるいは定住化でない
事実9: もしあの現代医学が基準日現在だとしたらそれは資源塵であるかもしくは揺曳しないか両方だ
事実10: 仮にこのアニオンギャップが資源塵であるとすればあのコンクリート壁は資源塵である
事実11: もし仮にあの現代医学が揺曳するということはないとすればそれは定住化である
事実12: あの現代医学は女々しい
事実13: 資源塵は定住化だということはない
事実14: もし仮にこの艦攻隊がパターン状だとすればあの不老長生は最高裁判所裁判官だ
事実15: 最高裁判所裁判官は揺曳しないか基準日現在でないかもしくは両方である
事実16: もしも「「あの行動綱領はパターン状でない」ということは成り立つ」ということは成り立たないとしたらこの艦攻隊はパターン状だ

仮説: あの現代医学は定住化でない
1. 事実13から、推論1: "仮にあの現代医学が資源塵だとしたらそれは定住化でない"が導かれる
2. 事実4と事実9から、推論2: "あの現代医学は資源塵であるかまたは揺曳しない"が導かれる
3. 事実1から、推論3: "あの現代医学が揺曳するということはないとすれば定住化でない"が導かれる
4. 推論1と推論2と推論3から、仮説が導かれる

よって、仮説が証明されました。