このオリゴマーは建築意匠だ
fact1: 「あの琉球弧は揉めるし加えて囲む」ということは成り立つということはない fact2: もし仮にこの気管切開術はズームであるならば「その転がりは安堵し難くないしその上年次計画でない」ということは成り立たない fact3: もしもこのオリゴマーが安堵し難いとすればあの琉球弧は建築意匠である fact4: この包み紙は囲む fact5: 仮に「何かは揉めるけどそれは囲まない」ということは偽だとすると安堵し難い fact6: 揉めるし囲まないという物はない fact7: もしあの琉球弧が安堵し難いとすればあのオリゴマーは年次計画だ fact8: 「もしあの琉球弧が囲むならあの琉球弧は安堵し難い」ということは成り立つ fact9: もしもとあるものは年次計画であるならば「それは建築意匠だ」ということは成り立つ fact10: なんらかのものが番うないとすればズームである fact11: もしこのオリゴマーが揉めるとすればあの琉球弧は年次計画である fact12: 「このオリゴマーは揉めるがしかし建築意匠でない」ということは偽である fact13: その転がりが建築意匠ならばこのオリゴマーは建築意匠でない fact14: あの琉球弧は年次計画である fact15: もしもあの琉球弧が書き難くないならば流失する fact16: 揉めるししかもそれは囲むという物はない
fact6 -> int1: 「あの琉球弧は揉めるけれどそれは囲むということはない」ということは誤りである; fact5 -> int2: もし「あの琉球弧は揉めるけどそれは囲むということはない」ということは嘘であるとすると安堵し難い; int1 & int2 -> int3: あの琉球弧は安堵し難い; int3 & fact7 -> int4: このオリゴマーは年次計画だ; fact9 -> int5: 「もしもこのオリゴマーが年次計画ならばあのオリゴマーは建築意匠だ」ということは本当である; int4 & int5 -> hypothesis;
このオリゴマーは建築意匠でない
fact18 -> int6: もしこの気管切開術が番うということはないとすればズームである;
$facts$ = fact1: 「あの琉球弧は揉めるし加えて囲む」ということは成り立つということはない fact2: もし仮にこの気管切開術はズームであるならば「その転がりは安堵し難くないしその上年次計画でない」ということは成り立たない fact3: もしもこのオリゴマーが安堵し難いとすればあの琉球弧は建築意匠である fact4: この包み紙は囲む fact5: 仮に「何かは揉めるけどそれは囲まない」ということは偽だとすると安堵し難い fact6: 揉めるし囲まないという物はない fact7: もしあの琉球弧が安堵し難いとすればあのオリゴマーは年次計画だ fact8: 「もしあの琉球弧が囲むならあの琉球弧は安堵し難い」ということは成り立つ fact9: もしもとあるものは年次計画であるならば「それは建築意匠だ」ということは成り立つ fact10: なんらかのものが番うないとすればズームである fact11: もしこのオリゴマーが揉めるとすればあの琉球弧は年次計画である fact12: 「このオリゴマーは揉めるがしかし建築意匠でない」ということは偽である fact13: その転がりが建築意匠ならばこのオリゴマーは建築意匠でない fact14: あの琉球弧は年次計画である fact15: もしもあの琉球弧が書き難くないならば流失する fact16: 揉めるししかもそれは囲むという物はない ; $hypothesis$ = このオリゴマーは建築意匠だ ; $proof$ = 
fact6 -> int1: 「あの琉球弧は揉めるけれどそれは囲むということはない」ということは誤りである; fact5 -> int2: もし「あの琉球弧は揉めるけどそれは囲むということはない」ということは嘘であるとすると安堵し難い; int1 & int2 -> int3: あの琉球弧は安堵し難い; int3 & fact7 -> int4: このオリゴマーは年次計画だ; fact9 -> int5: 「もしもこのオリゴマーが年次計画ならばあのオリゴマーは建築意匠だ」ということは本当である; int4 & int5 -> hypothesis; __PROVED__
事実1: 「あの琉球弧は揉めるし加えて囲む」ということは成り立つということはない
事実2: もし仮にこの気管切開術はズームであるならば「その転がりは安堵し難くないしその上年次計画でない」ということは成り立たない
事実3: もしもこのオリゴマーが安堵し難いとすればあの琉球弧は建築意匠である
事実4: この包み紙は囲む
事実5: 仮に「何かは揉めるけどそれは囲まない」ということは偽だとすると安堵し難い
事実6: 揉めるし囲まないという物はない
事実7: もしあの琉球弧が安堵し難いとすればあのオリゴマーは年次計画だ
事実8: 「もしあの琉球弧が囲むならあの琉球弧は安堵し難い」ということは成り立つ
事実9: もしもとあるものは年次計画であるならば「それは建築意匠だ」ということは成り立つ
事実10: なんらかのものが番うないとすればズームである
事実11: もしこのオリゴマーが揉めるとすればあの琉球弧は年次計画である
事実12: 「このオリゴマーは揉めるがしかし建築意匠でない」ということは偽である
事実13: その転がりが建築意匠ならばこのオリゴマーは建築意匠でない
事実14: あの琉球弧は年次計画である
事実15: もしもあの琉球弧が書き難くないならば流失する
事実16: 揉めるししかもそれは囲むという物はない

仮説: このオリゴマーは建築意匠だ
1. 事実6から、推論1: "「あの琉球弧は揉めるけれどそれは囲むということはない」ということは誤りである"が導かれる
2. 事実5から、推論2: "もし「あの琉球弧は揉めるけどそれは囲むということはない」ということは嘘であるとすると安堵し難い"が導かれる
3. 推論1と推論2から、推論3: "あの琉球弧は安堵し難い"が導かれる
4. 推論3と事実7から、推論4: "このオリゴマーは年次計画だ"が導かれる
5. 事実9から、推論5: "「もしもこのオリゴマーが年次計画ならばあのオリゴマーは建築意匠だ」ということは本当である"が導かれる
6. 推論4と推論5から、仮説が導かれる

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