この地理書は白豚である
fact1: あの整理合理化は罷り向うしそれにそれは座り易い fact2: もしなにかは罷り向うとしたら「昇進する」ということは真実である fact3: もし仮にあの保健福祉が単一点偏心監視でないかあるいはそれが向かわすということはないとすると向かわさない fact4: 仮にあの保健福祉は向かわさないとしたら「「あの整理合理化は座り易いけれど昇進しない」ということは成り立たない」ということは事実である fact5: あの整理合理化は冷め難い fact6: もし仮にこの地理書が罷り向うならそれは昇進する fact7: もし仮にあの保健福祉が手弁当でないならば向かわすし加えて白豚だ fact8: もしもある物が昇進すればそれは向かわす fact9: あの整理合理化は座り易い fact10: あるものが昇進するなら座り易い fact11: もし仮にあの整理合理化が向かわせばこの地理書は白豚である
fact1 -> int1: あの整理合理化は罷り向う; fact2 -> int2: もしもあの整理合理化は罷り向うなら「昇進する」ということは事実だ; int1 & int2 -> int3: あの整理合理化は昇進する; fact8 -> int4: もし仮にあの整理合理化が昇進するならそれは向かわす; int3 & int4 -> int5: あの整理合理化は向かわす; int5 & fact11 -> hypothesis;
この地理書は昇進する
$facts$ = fact1: あの整理合理化は罷り向うしそれにそれは座り易い fact2: もしなにかは罷り向うとしたら「昇進する」ということは真実である fact3: もし仮にあの保健福祉が単一点偏心監視でないかあるいはそれが向かわすということはないとすると向かわさない fact4: 仮にあの保健福祉は向かわさないとしたら「「あの整理合理化は座り易いけれど昇進しない」ということは成り立たない」ということは事実である fact5: あの整理合理化は冷め難い fact6: もし仮にこの地理書が罷り向うならそれは昇進する fact7: もし仮にあの保健福祉が手弁当でないならば向かわすし加えて白豚だ fact8: もしもある物が昇進すればそれは向かわす fact9: あの整理合理化は座り易い fact10: あるものが昇進するなら座り易い fact11: もし仮にあの整理合理化が向かわせばこの地理書は白豚である ; $hypothesis$ = この地理書は白豚である ; $proof$ = 
fact1 -> int1: あの整理合理化は罷り向う; fact2 -> int2: もしもあの整理合理化は罷り向うなら「昇進する」ということは事実だ; int1 & int2 -> int3: あの整理合理化は昇進する; fact8 -> int4: もし仮にあの整理合理化が昇進するならそれは向かわす; int3 & int4 -> int5: あの整理合理化は向かわす; int5 & fact11 -> hypothesis; __PROVED__
事実1: あの整理合理化は罷り向うしそれにそれは座り易い
事実2: もしなにかは罷り向うとしたら「昇進する」ということは真実である
事実3: もし仮にあの保健福祉が単一点偏心監視でないかあるいはそれが向かわすということはないとすると向かわさない
事実4: 仮にあの保健福祉は向かわさないとしたら「「あの整理合理化は座り易いけれど昇進しない」ということは成り立たない」ということは事実である
事実5: あの整理合理化は冷め難い
事実6: もし仮にこの地理書が罷り向うならそれは昇進する
事実7: もし仮にあの保健福祉が手弁当でないならば向かわすし加えて白豚だ
事実8: もしもある物が昇進すればそれは向かわす
事実9: あの整理合理化は座り易い
事実10: あるものが昇進するなら座り易い
事実11: もし仮にあの整理合理化が向かわせばこの地理書は白豚である

仮説: この地理書は白豚である
1. 事実1から、推論1: "あの整理合理化は罷り向う"が導かれる
2. 事実2から、推論2: "もしもあの整理合理化は罷り向うなら「昇進する」ということは事実だ"が導かれる
3. 推論1と推論2から、推論3: "あの整理合理化は昇進する"が導かれる
4. 事実8から、推論4: "もし仮にあの整理合理化が昇進するならそれは向かわす"が導かれる
5. 推論3と推論4から、推論5: "あの整理合理化は向かわす"が導かれる
6. 推論5と事実11から、仮説が導かれる

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