あの正倉院文書は第一工場であるということはない
fact1: なんらかのものが英植民地帝国であるしせせこましいならば「それは第一工場でない」ということは事実だ fact2: もし仮にあの斜歯歯車はせせこましいとすると「あの正倉院文書は上げ難いということはないかせせこましくない」ということは誤りだ fact3: あの斜歯歯車は判断し難くて取得費である fact4: もしも「ある物は上げ難くないかもしくはせせこましいということはないか両方だ」ということは成り立たないとするとそれは成し難い fact5: もしもあの斜歯歯車が揺れ続けるかもしくはそれが判断し難くないとすればあの正倉院文書は英植民地帝国である fact6: なんらかのものが成し難いとすると第一工場である fact7: もし仮に「「あの製作費は濃くないかまたは運命付けるかもしくは両方ともである」ということは間違っている」ということは本当であるならばそれはせせこましい fact8: 「このＣ／Ｐワンは成し難い」ということは確かである fact9: このＣ／Ｐワンは英植民地帝国である fact10: 「あの斜歯歯車が判断し難いとすればあの斜歯歯車は成し難くないしその上第一工場でない」ということは成り立つ fact11: もしも「何らかのものは轟き渡らないかスペアだ」ということは誤りであるとしたらそれは文字以外だ fact12: もしもこのＣ／Ｐワンが英植民地帝国であるならあの斜歯歯車はせせこましい fact13: もし仮に「あの正倉院文書は英植民地帝国でないかもしくは上げ難くないかどちらもだ」ということは成り立たないとしたら第一工場だ
fact12 & fact9 -> int1: あの斜歯歯車はせせこましい; int1 & fact2 -> int2: 「あの正倉院文書は上げ難くないかあるいはそれはせせこましくない」ということは間違いだ; fact4 -> int3: もし仮に「「あの正倉院文書は上げ難くないかもしくはそれはせせこましくない」ということは成り立つ」ということは誤りであるなら成し難い; int2 & int3 -> int4: あの正倉院文書は成し難い; fact6 -> int5: 「あの正倉院文書は成し難い」ということは成り立つなら第一工場である; int4 & int5 -> hypothesis;
あの墳形は上げ難い
fact15 -> int6: あの斜歯歯車は判断し難い; fact14 & int6 -> int7: あの斜歯歯車は成し難くないししかもそれは第一工場でない; int7 -> int8: あの斜歯歯車は成し難くない; int8 -> int9: 「成し難くない」ものはある;
$facts$ = fact1: なんらかのものが英植民地帝国であるしせせこましいならば「それは第一工場でない」ということは事実だ fact2: もし仮にあの斜歯歯車はせせこましいとすると「あの正倉院文書は上げ難いということはないかせせこましくない」ということは誤りだ fact3: あの斜歯歯車は判断し難くて取得費である fact4: もしも「ある物は上げ難くないかもしくはせせこましいということはないか両方だ」ということは成り立たないとするとそれは成し難い fact5: もしもあの斜歯歯車が揺れ続けるかもしくはそれが判断し難くないとすればあの正倉院文書は英植民地帝国である fact6: なんらかのものが成し難いとすると第一工場である fact7: もし仮に「「あの製作費は濃くないかまたは運命付けるかもしくは両方ともである」ということは間違っている」ということは本当であるならばそれはせせこましい fact8: 「このＣ／Ｐワンは成し難い」ということは確かである fact9: このＣ／Ｐワンは英植民地帝国である fact10: 「あの斜歯歯車が判断し難いとすればあの斜歯歯車は成し難くないしその上第一工場でない」ということは成り立つ fact11: もしも「何らかのものは轟き渡らないかスペアだ」ということは誤りであるとしたらそれは文字以外だ fact12: もしもこのＣ／Ｐワンが英植民地帝国であるならあの斜歯歯車はせせこましい fact13: もし仮に「あの正倉院文書は英植民地帝国でないかもしくは上げ難くないかどちらもだ」ということは成り立たないとしたら第一工場だ ; $hypothesis$ = あの正倉院文書は第一工場であるということはない ; $proof$ = 
fact12 & fact9 -> int1: あの斜歯歯車はせせこましい; int1 & fact2 -> int2: 「あの正倉院文書は上げ難くないかあるいはそれはせせこましくない」ということは間違いだ; fact4 -> int3: もし仮に「「あの正倉院文書は上げ難くないかもしくはそれはせせこましくない」ということは成り立つ」ということは誤りであるなら成し難い; int2 & int3 -> int4: あの正倉院文書は成し難い; fact6 -> int5: 「あの正倉院文書は成し難い」ということは成り立つなら第一工場である; int4 & int5 -> hypothesis; __DISPROVED__
事実1: なんらかのものが英植民地帝国であるしせせこましいならば「それは第一工場でない」ということは事実だ
事実2: もし仮にあの斜歯歯車はせせこましいとすると「あの正倉院文書は上げ難いということはないかせせこましくない」ということは誤りだ
事実3: あの斜歯歯車は判断し難くて取得費である
事実4: もしも「ある物は上げ難くないかもしくはせせこましいということはないか両方だ」ということは成り立たないとするとそれは成し難い
事実5: もしもあの斜歯歯車が揺れ続けるかもしくはそれが判断し難くないとすればあの正倉院文書は英植民地帝国である
事実6: なんらかのものが成し難いとすると第一工場である
事実7: もし仮に「「あの製作費は濃くないかまたは運命付けるかもしくは両方ともである」ということは間違っている」ということは本当であるならばそれはせせこましい
事実8: 「このＣ／Ｐワンは成し難い」ということは確かである
事実9: このＣ／Ｐワンは英植民地帝国である
事実10: 「あの斜歯歯車が判断し難いとすればあの斜歯歯車は成し難くないしその上第一工場でない」ということは成り立つ
事実11: もしも「何らかのものは轟き渡らないかスペアだ」ということは誤りであるとしたらそれは文字以外だ
事実12: もしもこのＣ／Ｐワンが英植民地帝国であるならあの斜歯歯車はせせこましい
事実13: もし仮に「あの正倉院文書は英植民地帝国でないかもしくは上げ難くないかどちらもだ」ということは成り立たないとしたら第一工場だ

仮説: あの正倉院文書は第一工場であるということはない
1. 事実12と事実9から、推論1: "あの斜歯歯車はせせこましい"が導かれる
2. 推論1と事実2から、推論2: "「あの正倉院文書は上げ難くないかあるいはそれはせせこましくない」ということは間違いだ"が導かれる
3. 事実4から、推論3: "もし仮に「「あの正倉院文書は上げ難くないかもしくはそれはせせこましくない」ということは成り立つ」ということは誤りであるなら成し難い"が導かれる
4. 推論2と推論3から、推論4: "あの正倉院文書は成し難い"が導かれる
5. 事実6から、推論5: "「あの正倉院文書は成し難い」ということは成り立つなら第一工場である"が導かれる
6. 推論4と推論5から、仮説が否定される

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