あの論文は走り過ぎない
fact1: あの肌寒さが真白くないけど走り過ぎるならあの論文は走り過ぎない fact2: もしもあの四十五人は用心深くないけど政策目標であるとすると「この女装趣味は単調増加する」ということは事実だ fact3: そのデータ種が引見しない一方で御構い無いならあの肌寒さは形式的民主主義でない fact4: 仮になんらかのものは単調増加しないとすれば「それは引見するか御構い無くないかあるいは両方ともである」ということは成り立たない fact5: もしも「あの肌寒さは政策目標でないし用心深くない」ということは嘘だとすればそれは政策目標だ fact6: もし「この保護処分は通じ難い」ということは成り立つとすれば「それは新制度でないしプログラムイベントだ」ということは確かでない fact7: もし仮にこの女装趣味は単調増加するとすると「そのデータ種は引見しない一方で御構い無い」ということは成り立つ fact8: もしこの水晶玉が述べ方でないとするとあの四十五人は用心深くないが政策目標だ fact9: 仮にあの論文が真白くないとしたらあの麻痺側上肢は走り過ぎる一方でそれは形式的民主主義でない fact10: もしも「なにかは引見するかまたは御構い無いということはない」ということは成り立たないとすると真白くない fact11: もし仮に「形式的民主主義である」ものがあるならあの論文は走り過ぎる fact12: なにがしかの物は形式的民主主義だ
fact12 & fact11 -> hypothesis;
fact12 & fact11 -> hypothesis;
あの麻痺側上肢は走り過ぎる
fact14 -> int1: もし「あの論文は引見するかまたは御構い無いということはない」ということは成り立たないとしたら真白くない; fact16 -> int2: 仮にあの論文は単調増加しないなら「引見するかもしくは御構い無くない」ということは誤りである;
$facts$ = fact1: あの肌寒さが真白くないけど走り過ぎるならあの論文は走り過ぎない fact2: もしもあの四十五人は用心深くないけど政策目標であるとすると「この女装趣味は単調増加する」ということは事実だ fact3: そのデータ種が引見しない一方で御構い無いならあの肌寒さは形式的民主主義でない fact4: 仮になんらかのものは単調増加しないとすれば「それは引見するか御構い無くないかあるいは両方ともである」ということは成り立たない fact5: もしも「あの肌寒さは政策目標でないし用心深くない」ということは嘘だとすればそれは政策目標だ fact6: もし「この保護処分は通じ難い」ということは成り立つとすれば「それは新制度でないしプログラムイベントだ」ということは確かでない fact7: もし仮にこの女装趣味は単調増加するとすると「そのデータ種は引見しない一方で御構い無い」ということは成り立つ fact8: もしこの水晶玉が述べ方でないとするとあの四十五人は用心深くないが政策目標だ fact9: 仮にあの論文が真白くないとしたらあの麻痺側上肢は走り過ぎる一方でそれは形式的民主主義でない fact10: もしも「なにかは引見するかまたは御構い無いということはない」ということは成り立たないとすると真白くない fact11: もし仮に「形式的民主主義である」ものがあるならあの論文は走り過ぎる fact12: なにがしかの物は形式的民主主義だ ; $hypothesis$ = あの論文は走り過ぎない ; $proof$ = 
fact12 & fact11 -> hypothesis; __DISPROVED__
事実1: あの肌寒さが真白くないけど走り過ぎるならあの論文は走り過ぎない
事実2: もしもあの四十五人は用心深くないけど政策目標であるとすると「この女装趣味は単調増加する」ということは事実だ
事実3: そのデータ種が引見しない一方で御構い無いならあの肌寒さは形式的民主主義でない
事実4: 仮になんらかのものは単調増加しないとすれば「それは引見するか御構い無くないかあるいは両方ともである」ということは成り立たない
事実5: もしも「あの肌寒さは政策目標でないし用心深くない」ということは嘘だとすればそれは政策目標だ
事実6: もし「この保護処分は通じ難い」ということは成り立つとすれば「それは新制度でないしプログラムイベントだ」ということは確かでない
事実7: もし仮にこの女装趣味は単調増加するとすると「そのデータ種は引見しない一方で御構い無い」ということは成り立つ
事実8: もしこの水晶玉が述べ方でないとするとあの四十五人は用心深くないが政策目標だ
事実9: 仮にあの論文が真白くないとしたらあの麻痺側上肢は走り過ぎる一方でそれは形式的民主主義でない
事実10: もしも「なにかは引見するかまたは御構い無いということはない」ということは成り立たないとすると真白くない
事実11: もし仮に「形式的民主主義である」ものがあるならあの論文は走り過ぎる
事実12: なにがしかの物は形式的民主主義だ

仮説: あの論文は走り過ぎない
1. 事実12と事実11から、仮説が否定される

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