そのコンポスト化は御付き合い頂かない
fact1: 「「あの翌々年は火砕流でないかまたはそれはジュースでない」ということは成り立つということはない」ということは成り立つ fact2: あの翌々年がランク分けするとすると発疹である fact3: もし仮にとある物は発疹でないとすると「それは軍人だということはないかあるいは落ちぶれないかもしくは両方ともである」ということは成り立たない fact4: 「あの翌々年は発疹だ」ということは真実だとしたら「その積み立て方式はでっかくないけれどそれは発疹だ」ということは成り立たない fact5: 「もしも何らかのものは御付き合い頂くということはないとすれば「でっかいがしかしランク分けするということはない」ということは真実でない」ということは成り立つ fact6: もしも「あるものは火砕流でないかあるいはそれはジュースでない」ということは誤っていればそれはランク分けする fact7: もしも「その積み立て方式はでっかくない一方で発疹である」ということは誤りであるならそのコンポスト化は御付き合い頂かない fact8: 仮に「その積み立て方式はでっかい一方でそれはランク分けしない」ということは真実だということはないならば「そのコルトＭは発疹でない」ということは事実だ
fact6 -> int1: 「あの翌々年は火砕流でないかあるいはそれはジュースでない」ということは間違いだとするとランク分けする; int1 & fact1 -> int2: あの翌々年はランク分けする; int2 & fact2 -> int3: あの翌々年は発疹だ; int3 & fact4 -> int4: 「「その積み立て方式はでっかくないがしかし発疹だ」ということは成り立つ」ということは誤っている; int4 & fact7 -> hypothesis;
「そのコルトＭは軍人でないかまたは落ちぶれない」ということは事実と異なる
fact11 -> int5: 仮にそのコルトＭは発疹でないとしたら「軍人でないかもしくは落ちぶれないかあるいは両方である」ということは確かでない; fact9 -> int6: 仮にその積み立て方式は御付き合い頂かないとすると「それがでっかいしその上それはランク分けしない」ということは事実と異なる;
$facts$ = fact1: 「「あの翌々年は火砕流でないかまたはそれはジュースでない」ということは成り立つということはない」ということは成り立つ fact2: あの翌々年がランク分けするとすると発疹である fact3: もし仮にとある物は発疹でないとすると「それは軍人だということはないかあるいは落ちぶれないかもしくは両方ともである」ということは成り立たない fact4: 「あの翌々年は発疹だ」ということは真実だとしたら「その積み立て方式はでっかくないけれどそれは発疹だ」ということは成り立たない fact5: 「もしも何らかのものは御付き合い頂くということはないとすれば「でっかいがしかしランク分けするということはない」ということは真実でない」ということは成り立つ fact6: もしも「あるものは火砕流でないかあるいはそれはジュースでない」ということは誤っていればそれはランク分けする fact7: もしも「その積み立て方式はでっかくない一方で発疹である」ということは誤りであるならそのコンポスト化は御付き合い頂かない fact8: 仮に「その積み立て方式はでっかい一方でそれはランク分けしない」ということは真実だということはないならば「そのコルトＭは発疹でない」ということは事実だ ; $hypothesis$ = そのコンポスト化は御付き合い頂かない ; $proof$ = 
fact6 -> int1: 「あの翌々年は火砕流でないかあるいはそれはジュースでない」ということは間違いだとするとランク分けする; int1 & fact1 -> int2: あの翌々年はランク分けする; int2 & fact2 -> int3: あの翌々年は発疹だ; int3 & fact4 -> int4: 「「その積み立て方式はでっかくないがしかし発疹だ」ということは成り立つ」ということは誤っている; int4 & fact7 -> hypothesis; __PROVED__
事実1: 「「あの翌々年は火砕流でないかまたはそれはジュースでない」ということは成り立つということはない」ということは成り立つ
事実2: あの翌々年がランク分けするとすると発疹である
事実3: もし仮にとある物は発疹でないとすると「それは軍人だということはないかあるいは落ちぶれないかもしくは両方ともである」ということは成り立たない
事実4: 「あの翌々年は発疹だ」ということは真実だとしたら「その積み立て方式はでっかくないけれどそれは発疹だ」ということは成り立たない
事実5: 「もしも何らかのものは御付き合い頂くということはないとすれば「でっかいがしかしランク分けするということはない」ということは真実でない」ということは成り立つ
事実6: もしも「あるものは火砕流でないかあるいはそれはジュースでない」ということは誤っていればそれはランク分けする
事実7: もしも「その積み立て方式はでっかくない一方で発疹である」ということは誤りであるならそのコンポスト化は御付き合い頂かない
事実8: 仮に「その積み立て方式はでっかい一方でそれはランク分けしない」ということは真実だということはないならば「そのコルトＭは発疹でない」ということは事実だ

仮説: そのコンポスト化は御付き合い頂かない
1. 事実6から、推論1: "「あの翌々年は火砕流でないかあるいはそれはジュースでない」ということは間違いだとするとランク分けする"が導かれる
2. 推論1と事実1から、推論2: "あの翌々年はランク分けする"が導かれる
3. 推論2と事実2から、推論3: "あの翌々年は発疹だ"が導かれる
4. 推論3と事実4から、推論4: "「「その積み立て方式はでっかくないがしかし発疹だ」ということは成り立つ」ということは誤っている"が導かれる
5. 推論4と事実7から、仮説が導かれる

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