「その改正草案は養護する」ということは事実だ
fact1: 「あのレイテ沖はスピットボールでかつそれは化体する」ということは偽だとするとその改正草案は石炭統制会でない fact2: あの営利新聞が艶っぽくないかもしくは爆走するということはないかあるいは両方ともだとすると「それは艶っぽくない」ということは確かである fact3: ミニテクニックは小版形であるかあるいは語り得ないかまたは両方ともだ fact4: あの営利新聞が艶っぽくないならばあの邦貨はミニテクニックである fact5: もし仮に何かは幼しとすればそれは基本レイアウトだ fact6: 「「あのレイテ沖はスピットボールであるしそれにそれは化体する」ということは成り立たない」ということは成り立つ fact7: あの営利新聞は爆走しない fact8: 仮にあの邦貨が小版形であるかあるいは語り得ないとすればあのレイテ沖は向け始めない fact9: もしもあのレイテ沖がスピットボールでないとするとその改正草案は石炭統制会でない fact10: その改正草案は石炭統制会だということはないかまたは向け始めるかもしくは両方ともである fact11: もし仮にあるものが極まりないとすると嘆かわしくて更に石炭統制会でない fact12: あの勇士は化体しない fact13: もしもその必置は反粒子であるなら整い始める fact14: 仮にその必置が整い始めるならあのレイテ沖は極まりない fact15: もしも「「「養護するし加えて石炭統制会である」ということは正しい」ということは誤っている」ものがあるとしたらこの過重労働は養護するということはない fact16: もし仮に「その改正草案は向け始めない」ということは成り立つとすれば養護するということはない fact17: もしもあのレイテ沖が向け始めないし石炭統制会だということはないとすればその改正草案は向け始めない fact18: もしその必置は基本レイアウトであるならそれは反粒子である fact19: もしその改正草案が石炭統制会でないかまたは向け始めないかまたは両方ともだとすればそれは養護しない fact20: もし「なにがしかのものは向け始めない」ということは真実なら養護する
fact1 & fact6 -> int1: その改正草案は石炭統制会でない; int1 -> int2: その改正草案は石炭統制会でないかまたは向け始めないかあるいは両方ともだ; int2 & fact19 -> hypothesis;
この過重労働は養護しない
$facts$ = fact1: 「あのレイテ沖はスピットボールでかつそれは化体する」ということは偽だとするとその改正草案は石炭統制会でない fact2: あの営利新聞が艶っぽくないかもしくは爆走するということはないかあるいは両方ともだとすると「それは艶っぽくない」ということは確かである fact3: ミニテクニックは小版形であるかあるいは語り得ないかまたは両方ともだ fact4: あの営利新聞が艶っぽくないならばあの邦貨はミニテクニックである fact5: もし仮に何かは幼しとすればそれは基本レイアウトだ fact6: 「「あのレイテ沖はスピットボールであるしそれにそれは化体する」ということは成り立たない」ということは成り立つ fact7: あの営利新聞は爆走しない fact8: 仮にあの邦貨が小版形であるかあるいは語り得ないとすればあのレイテ沖は向け始めない fact9: もしもあのレイテ沖がスピットボールでないとするとその改正草案は石炭統制会でない fact10: その改正草案は石炭統制会だということはないかまたは向け始めるかもしくは両方ともである fact11: もし仮にあるものが極まりないとすると嘆かわしくて更に石炭統制会でない fact12: あの勇士は化体しない fact13: もしもその必置は反粒子であるなら整い始める fact14: 仮にその必置が整い始めるならあのレイテ沖は極まりない fact15: もしも「「「養護するし加えて石炭統制会である」ということは正しい」ということは誤っている」ものがあるとしたらこの過重労働は養護するということはない fact16: もし仮に「その改正草案は向け始めない」ということは成り立つとすれば養護するということはない fact17: もしもあのレイテ沖が向け始めないし石炭統制会だということはないとすればその改正草案は向け始めない fact18: もしその必置は基本レイアウトであるならそれは反粒子である fact19: もしその改正草案が石炭統制会でないかまたは向け始めないかまたは両方ともだとすればそれは養護しない fact20: もし「なにがしかのものは向け始めない」ということは真実なら養護する ; $hypothesis$ = 「その改正草案は養護する」ということは事実だ ; $proof$ = 
fact1 & fact6 -> int1: その改正草案は石炭統制会でない; int1 -> int2: その改正草案は石炭統制会でないかまたは向け始めないかあるいは両方ともだ; int2 & fact19 -> hypothesis; __DISPROVED__
事実1: 「あのレイテ沖はスピットボールでかつそれは化体する」ということは偽だとするとその改正草案は石炭統制会でない
事実2: あの営利新聞が艶っぽくないかもしくは爆走するということはないかあるいは両方ともだとすると「それは艶っぽくない」ということは確かである
事実3: ミニテクニックは小版形であるかあるいは語り得ないかまたは両方ともだ
事実4: あの営利新聞が艶っぽくないならばあの邦貨はミニテクニックである
事実5: もし仮に何かは幼しとすればそれは基本レイアウトだ
事実6: 「「あのレイテ沖はスピットボールであるしそれにそれは化体する」ということは成り立たない」ということは成り立つ
事実7: あの営利新聞は爆走しない
事実8: 仮にあの邦貨が小版形であるかあるいは語り得ないとすればあのレイテ沖は向け始めない
事実9: もしもあのレイテ沖がスピットボールでないとするとその改正草案は石炭統制会でない
事実10: その改正草案は石炭統制会だということはないかまたは向け始めるかもしくは両方ともである
事実11: もし仮にあるものが極まりないとすると嘆かわしくて更に石炭統制会でない
事実12: あの勇士は化体しない
事実13: もしもその必置は反粒子であるなら整い始める
事実14: 仮にその必置が整い始めるならあのレイテ沖は極まりない
事実15: もしも「「「養護するし加えて石炭統制会である」ということは正しい」ということは誤っている」ものがあるとしたらこの過重労働は養護するということはない
事実16: もし仮に「その改正草案は向け始めない」ということは成り立つとすれば養護するということはない
事実17: もしもあのレイテ沖が向け始めないし石炭統制会だということはないとすればその改正草案は向け始めない
事実18: もしその必置は基本レイアウトであるならそれは反粒子である
事実19: もしその改正草案が石炭統制会でないかまたは向け始めないかまたは両方ともだとすればそれは養護しない
事実20: もし「なにがしかのものは向け始めない」ということは真実なら養護する

仮説: 「その改正草案は養護する」ということは事実だ
1. 事実1と事実6から、推論1: "その改正草案は石炭統制会でない"が導かれる
2. 推論1から、推論2: "その改正草案は石炭統制会でないかまたは向け始めないかあるいは両方ともだ"が導かれる
3. 推論2と事実19から、仮説が否定される

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