その本願出願時はγ相である
fact1: あの千鳥は装備するがそれは進撃しない fact2: もしあの発育が巻頭ページでないかあるいはそれが汚いかどちらもだとすればあの結果説は助業だ fact3: あの発育は苛立たしかない fact4: 仮にあの結果説が助業であるとすればその本願出願時は美々しかない fact5: 「汚くないものは雪深い」ということは事実である fact6: 美々しかないものはγ相だ fact7: あの千鳥は進撃するということはない fact8: もし仮にあの千鳥が装備するけれど進撃するということはないならばあの法人税法別表は雪深くない fact9: あの窒素は雪深い fact10: あの千鳥が美々しいならばあの発育はγ相でない fact11: もし仮に「あのイソフラボンは汚くない」ということは事実だとしたらあの発育は巻頭ページでないかまたはそれは汚いかあるいはどちらもである fact12: もし仮にその回避義務が進撃しないなら良い fact13: 仮にあの千鳥は装備するし加えて進撃するなら「あの法人税法別表は雪深くない」ということは正しい fact14: あの結果説は巻頭ページである fact15: もしもあの法人税法別表が雪深くないとしたらあのイソフラボンは汚くない fact16: もしあの結果説は巻頭ページだとすると「あの発育は汚くない」ということは確かである fact17: 仮にあの発育が汚いとしたらあの結果説は助業である fact18: あの法人税法別表は汚い
fact8 & fact1 -> int1: あの法人税法別表は雪深くない; int1 & fact15 -> int2: あのイソフラボンは汚くない; int2 & fact11 -> int3: あの発育は巻頭ページでないかあるいはそれは汚いか両方ともである; int3 & fact2 -> int4: あの結果説は助業である; int4 & fact4 -> int5: その本願出願時は美々しかない; fact6 -> int6: もしもその本願出願時が美々しかないならそれはγ相だ; int5 & int6 -> hypothesis;
$facts$ = fact1: あの千鳥は装備するがそれは進撃しない fact2: もしあの発育が巻頭ページでないかあるいはそれが汚いかどちらもだとすればあの結果説は助業だ fact3: あの発育は苛立たしかない fact4: 仮にあの結果説が助業であるとすればその本願出願時は美々しかない fact5: 「汚くないものは雪深い」ということは事実である fact6: 美々しかないものはγ相だ fact7: あの千鳥は進撃するということはない fact8: もし仮にあの千鳥が装備するけれど進撃するということはないならばあの法人税法別表は雪深くない fact9: あの窒素は雪深い fact10: あの千鳥が美々しいならばあの発育はγ相でない fact11: もし仮に「あのイソフラボンは汚くない」ということは事実だとしたらあの発育は巻頭ページでないかまたはそれは汚いかあるいはどちらもである fact12: もし仮にその回避義務が進撃しないなら良い fact13: 仮にあの千鳥は装備するし加えて進撃するなら「あの法人税法別表は雪深くない」ということは正しい fact14: あの結果説は巻頭ページである fact15: もしもあの法人税法別表が雪深くないとしたらあのイソフラボンは汚くない fact16: もしあの結果説は巻頭ページだとすると「あの発育は汚くない」ということは確かである fact17: 仮にあの発育が汚いとしたらあの結果説は助業である fact18: あの法人税法別表は汚い ; $hypothesis$ = その本願出願時はγ相である ; $proof$ = 
fact8 & fact1 -> int1: あの法人税法別表は雪深くない; int1 & fact15 -> int2: あのイソフラボンは汚くない; int2 & fact11 -> int3: あの発育は巻頭ページでないかあるいはそれは汚いか両方ともである; int3 & fact2 -> int4: あの結果説は助業である; int4 & fact4 -> int5: その本願出願時は美々しかない; fact6 -> int6: もしもその本願出願時が美々しかないならそれはγ相だ; int5 & int6 -> hypothesis; __PROVED__
事実1: あの千鳥は装備するがそれは進撃しない
事実2: もしあの発育が巻頭ページでないかあるいはそれが汚いかどちらもだとすればあの結果説は助業だ
事実3: あの発育は苛立たしかない
事実4: 仮にあの結果説が助業であるとすればその本願出願時は美々しかない
事実5: 「汚くないものは雪深い」ということは事実である
事実6: 美々しかないものはγ相だ
事実7: あの千鳥は進撃するということはない
事実8: もし仮にあの千鳥が装備するけれど進撃するということはないならばあの法人税法別表は雪深くない
事実9: あの窒素は雪深い
事実10: あの千鳥が美々しいならばあの発育はγ相でない
事実11: もし仮に「あのイソフラボンは汚くない」ということは事実だとしたらあの発育は巻頭ページでないかまたはそれは汚いかあるいはどちらもである
事実12: もし仮にその回避義務が進撃しないなら良い
事実13: 仮にあの千鳥は装備するし加えて進撃するなら「あの法人税法別表は雪深くない」ということは正しい
事実14: あの結果説は巻頭ページである
事実15: もしもあの法人税法別表が雪深くないとしたらあのイソフラボンは汚くない
事実16: もしあの結果説は巻頭ページだとすると「あの発育は汚くない」ということは確かである
事実17: 仮にあの発育が汚いとしたらあの結果説は助業である
事実18: あの法人税法別表は汚い

仮説: その本願出願時はγ相である
1. 事実8と事実1から、推論1: "あの法人税法別表は雪深くない"が導かれる
2. 推論1と事実15から、推論2: "あのイソフラボンは汚くない"が導かれる
3. 推論2と事実11から、推論3: "あの発育は巻頭ページでないかあるいはそれは汚いか両方ともである"が導かれる
4. 推論3と事実2から、推論4: "あの結果説は助業である"が導かれる
5. 推論4と事実4から、推論5: "その本願出願時は美々しかない"が導かれる
6. 事実6から、推論6: "もしもその本願出願時が美々しかないならそれはγ相だ"が導かれる
7. 推論5と推論6から、仮説が導かれる

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