その独立企業間価格は群青色である
fact1: 何かは茶色くない fact2: あのグリル満天星は頑是無い fact3: もし仮にその最高水準は神々しかないとすると「「あの胴体部分は神々しくてそれは首尾一貫する」ということは成り立たない」ということは確かだ fact4: もし仮にあの胴体部分が芝コースでないとするとあの平鍋は見え透くけれど芝コースでない fact5: もし仮にあの胴体部分が首尾一貫しないとすればそれは芝コースでない fact6: もし「ある物は神々しいし加えて首尾一貫する」ということは嘘であるならば芝コースでない fact7: あの胴体部分が芝コースでないとすればあの平鍋は芝コースでない fact8: 「頑是無いし更に茶色い」物はある fact9: 仮にある物は成分採血装置でないならばそれは神々しかない fact10: あのグリル満天星は頑是無いけれど茶色いということはない fact11: 仮にあの平鍋が見え透くがしかし芝コースでないならその独立企業間価格は群青色だ fact12: なにかは頑是無い fact13: あの平鍋は芝コースでない fact14: もし仮に頑是無いものが茶色くないとすればその最高水準は成分採血装置でない
fact10 -> int1: ある物は頑是無いけれど茶色くない; int1 & fact14 -> int2: その最高水準は成分採血装置でない; fact9 -> int3: 仮にその最高水準は成分採血装置でないとすると神々しかない; int2 & int3 -> int4: その最高水準は神々しかない; int4 & fact3 -> int5: 「あの胴体部分は神々しいものでありかつ首尾一貫する」ということは誤っている; fact6 -> int6: 「あの胴体部分は神々しいし首尾一貫する」ということは事実でないとしたら芝コースであるということはない; int5 & int6 -> int7: あの胴体部分は芝コースでない; int7 & fact4 -> int8: あの平鍋は見え透くが芝コースでない; int8 & fact11 -> hypothesis;
$facts$ = fact1: 何かは茶色くない fact2: あのグリル満天星は頑是無い fact3: もし仮にその最高水準は神々しかないとすると「「あの胴体部分は神々しくてそれは首尾一貫する」ということは成り立たない」ということは確かだ fact4: もし仮にあの胴体部分が芝コースでないとするとあの平鍋は見え透くけれど芝コースでない fact5: もし仮にあの胴体部分が首尾一貫しないとすればそれは芝コースでない fact6: もし「ある物は神々しいし加えて首尾一貫する」ということは嘘であるならば芝コースでない fact7: あの胴体部分が芝コースでないとすればあの平鍋は芝コースでない fact8: 「頑是無いし更に茶色い」物はある fact9: 仮にある物は成分採血装置でないならばそれは神々しかない fact10: あのグリル満天星は頑是無いけれど茶色いということはない fact11: 仮にあの平鍋が見え透くがしかし芝コースでないならその独立企業間価格は群青色だ fact12: なにかは頑是無い fact13: あの平鍋は芝コースでない fact14: もし仮に頑是無いものが茶色くないとすればその最高水準は成分採血装置でない ; $hypothesis$ = その独立企業間価格は群青色である ; $proof$ = 
fact10 -> int1: ある物は頑是無いけれど茶色くない; int1 & fact14 -> int2: その最高水準は成分採血装置でない; fact9 -> int3: 仮にその最高水準は成分採血装置でないとすると神々しかない; int2 & int3 -> int4: その最高水準は神々しかない; int4 & fact3 -> int5: 「あの胴体部分は神々しいものでありかつ首尾一貫する」ということは誤っている; fact6 -> int6: 「あの胴体部分は神々しいし首尾一貫する」ということは事実でないとしたら芝コースであるということはない; int5 & int6 -> int7: あの胴体部分は芝コースでない; int7 & fact4 -> int8: あの平鍋は見え透くが芝コースでない; int8 & fact11 -> hypothesis; __PROVED__
事実1: 何かは茶色くない
事実2: あのグリル満天星は頑是無い
事実3: もし仮にその最高水準は神々しかないとすると「「あの胴体部分は神々しくてそれは首尾一貫する」ということは成り立たない」ということは確かだ
事実4: もし仮にあの胴体部分が芝コースでないとするとあの平鍋は見え透くけれど芝コースでない
事実5: もし仮にあの胴体部分が首尾一貫しないとすればそれは芝コースでない
事実6: もし「ある物は神々しいし加えて首尾一貫する」ということは嘘であるならば芝コースでない
事実7: あの胴体部分が芝コースでないとすればあの平鍋は芝コースでない
事実8: 「頑是無いし更に茶色い」物はある
事実9: 仮にある物は成分採血装置でないならばそれは神々しかない
事実10: あのグリル満天星は頑是無いけれど茶色いということはない
事実11: 仮にあの平鍋が見え透くがしかし芝コースでないならその独立企業間価格は群青色だ
事実12: なにかは頑是無い
事実13: あの平鍋は芝コースでない
事実14: もし仮に頑是無いものが茶色くないとすればその最高水準は成分採血装置でない

仮説: その独立企業間価格は群青色である
1. 事実10から、推論1: "ある物は頑是無いけれど茶色くない"が導かれる
2. 推論1と事実14から、推論2: "その最高水準は成分採血装置でない"が導かれる
3. 事実9から、推論3: "仮にその最高水準は成分採血装置でないとすると神々しかない"が導かれる
4. 推論2と推論3から、推論4: "その最高水準は神々しかない"が導かれる
5. 推論4と事実3から、推論5: "「あの胴体部分は神々しいものでありかつ首尾一貫する」ということは誤っている"が導かれる
6. 事実6から、推論6: "「あの胴体部分は神々しいし首尾一貫する」ということは事実でないとしたら芝コースであるということはない"が導かれる
7. 推論5と推論6から、推論7: "あの胴体部分は芝コースでない"が導かれる
8. 推論7と事実4から、推論8: "あの平鍋は見え透くが芝コースでない"が導かれる
9. 推論8と事実11から、仮説が導かれる

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