あの開発戦略は真新しくて占拠する
fact1: 「あの開発戦略はダウン症児だ」ということは事実と異ならない fact2: 仮に「あの開発戦略は着手しないかそれは占拠するかあるいは両方ともだ」ということは間違いであるとすればこの舞姫はダウン症児である fact3: もしもあの開発戦略は真新しくないとすると「その地球温暖化防止はダウン症児である」ということは成り立つ fact4: もしもとあるものは症例群であるとすれば「着手しないかあるいはそれは占拠する」ということは正しくない fact5: あの開発戦略はクーデタである fact6: あの開発戦略はピネンであるしその上空しい fact7: もし仮にその荘園がダウン症児だとすればあの地球温暖化防止は占拠しない fact8: あの開発戦略は抗核抗体でない fact9: あの開発戦略は乗り難くない fact10: 仮にあの開発戦略はダウン症児であるということはないとすれば「その地球温暖化防止は占拠する」ということは嘘でない fact11: その地球温暖化防止は真新しいということはない fact12: ある物は心優しくないならば「泳ぎ始めなくてその上それは症例群でない」ということは間違っている fact13: もし「その地球温暖化防止は真新しくない」ということは事実であるならばあの開発戦略はダウン症児だ fact14: 「もしその料金が心優しいかまたはそれが泳ぎ始めるか両方ともだとするとその荘園は症例群でない」ということは確かである fact15: もしあの開発戦略がダウン症児でないとしたらその地球温暖化防止は真新しい fact16: この長期ケア施設はダウン症児だ fact17: あの開発戦略は在学しない fact18: もしも「「泳ぎ始めないし加えて症例群であるということはない」ということは誤っている」ものがあるとすればあの開発戦略は症例群である fact19: このストライドは占拠する fact20: 「その地球温暖化防止はダウン症児でない」ということは成り立つ fact21: あの開発戦略は占拠する
void -> assump1: 以下のように仮定する。あの開発戦略は真新しくない; fact3 & assump1 -> int1: その地球温暖化防止はダウン症児である; int1 & fact20 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの開発戦略は真新しい; int3 & fact21 -> hypothesis;
「あの開発戦略は真新しくてそれは占拠する」ということは間違っている
$facts$ = fact1: 「あの開発戦略はダウン症児だ」ということは事実と異ならない fact2: 仮に「あの開発戦略は着手しないかそれは占拠するかあるいは両方ともだ」ということは間違いであるとすればこの舞姫はダウン症児である fact3: もしもあの開発戦略は真新しくないとすると「その地球温暖化防止はダウン症児である」ということは成り立つ fact4: もしもとあるものは症例群であるとすれば「着手しないかあるいはそれは占拠する」ということは正しくない fact5: あの開発戦略はクーデタである fact6: あの開発戦略はピネンであるしその上空しい fact7: もし仮にその荘園がダウン症児だとすればあの地球温暖化防止は占拠しない fact8: あの開発戦略は抗核抗体でない fact9: あの開発戦略は乗り難くない fact10: 仮にあの開発戦略はダウン症児であるということはないとすれば「その地球温暖化防止は占拠する」ということは嘘でない fact11: その地球温暖化防止は真新しいということはない fact12: ある物は心優しくないならば「泳ぎ始めなくてその上それは症例群でない」ということは間違っている fact13: もし「その地球温暖化防止は真新しくない」ということは事実であるならばあの開発戦略はダウン症児だ fact14: 「もしその料金が心優しいかまたはそれが泳ぎ始めるか両方ともだとするとその荘園は症例群でない」ということは確かである fact15: もしあの開発戦略がダウン症児でないとしたらその地球温暖化防止は真新しい fact16: この長期ケア施設はダウン症児だ fact17: あの開発戦略は在学しない fact18: もしも「「泳ぎ始めないし加えて症例群であるということはない」ということは誤っている」ものがあるとすればあの開発戦略は症例群である fact19: このストライドは占拠する fact20: 「その地球温暖化防止はダウン症児でない」ということは成り立つ fact21: あの開発戦略は占拠する ; $hypothesis$ = あの開発戦略は真新しくて占拠する ; $proof$ = 
void -> assump1: 以下のように仮定する。あの開発戦略は真新しくない; fact3 & assump1 -> int1: その地球温暖化防止はダウン症児である; int1 & fact20 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの開発戦略は真新しい; int3 & fact21 -> hypothesis; __PROVED__
事実1: 「あの開発戦略はダウン症児だ」ということは事実と異ならない
事実2: 仮に「あの開発戦略は着手しないかそれは占拠するかあるいは両方ともだ」ということは間違いであるとすればこの舞姫はダウン症児である
事実3: もしもあの開発戦略は真新しくないとすると「その地球温暖化防止はダウン症児である」ということは成り立つ
事実4: もしもとあるものは症例群であるとすれば「着手しないかあるいはそれは占拠する」ということは正しくない
事実5: あの開発戦略はクーデタである
事実6: あの開発戦略はピネンであるしその上空しい
事実7: もし仮にその荘園がダウン症児だとすればあの地球温暖化防止は占拠しない
事実8: あの開発戦略は抗核抗体でない
事実9: あの開発戦略は乗り難くない
事実10: 仮にあの開発戦略はダウン症児であるということはないとすれば「その地球温暖化防止は占拠する」ということは嘘でない
事実11: その地球温暖化防止は真新しいということはない
事実12: ある物は心優しくないならば「泳ぎ始めなくてその上それは症例群でない」ということは間違っている
事実13: もし「その地球温暖化防止は真新しくない」ということは事実であるならばあの開発戦略はダウン症児だ
事実14: 「もしその料金が心優しいかまたはそれが泳ぎ始めるか両方ともだとするとその荘園は症例群でない」ということは確かである
事実15: もしあの開発戦略がダウン症児でないとしたらその地球温暖化防止は真新しい
事実16: この長期ケア施設はダウン症児だ
事実17: あの開発戦略は在学しない
事実18: もしも「「泳ぎ始めないし加えて症例群であるということはない」ということは誤っている」ものがあるとすればあの開発戦略は症例群である
事実19: このストライドは占拠する
事実20: 「その地球温暖化防止はダウン症児でない」ということは成り立つ
事実21: あの開発戦略は占拠する

仮説: あの開発戦略は真新しくて占拠する
1. 仮定1: 以下のように仮定する。あの開発戦略は真新しくない
2. 事実3と仮定1から、推論1: "その地球温暖化防止はダウン症児である"が導かれる
3. 推論1と事実20から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "あの開発戦略は真新しい"が導かれる
5. 推論3と事実21から、仮説が導かれる

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