「バーベル型運用だし祝日でない」物はある
fact1: そのニューヨーク公共図書館は組み合わさらない fact2: もしガラスケースが成され易いならばそれは働くということはない fact3: その爆発力はバーベル型運用でない fact4: もし「そのサービス費は働く」ということは真実であるとしたらそれはぼろくなくてバーベル型運用だ fact5: そのサービス費は組み合わさらない fact6: 仮にそのサービス費が組み合わさらないとすれば見え難くて加えてそれは同感だ fact7: そのサービス費は祝日でない fact8: もし仮にそのサービス費が撤兵でそれが生み易いならばそれは同感でない fact9: その石円圏は組み合わさる fact10: そのサービス費は見え難い fact11: もしも何かは見え難いしさらに同感であるとするとそれは限定出来ない fact12: 何かは限定出来ないならば働く fact13: そのサービス費はぼろくない
fact11 -> int1: そのサービス費が見え難くて同感なら限定出来ない; fact5 & fact6 -> int2: そのサービス費は見え難くて更にそれは同感だ; int1 & int2 -> int3: 「そのサービス費は限定出来ない」ということは確かである; fact12 -> int4: もしも「そのサービス費は限定出来ない」ということは誤りでないとすれば働く; int3 & int4 -> int5: そのサービス費は働く; int5 & fact4 -> int6: そのサービス費はぼろくないがそれはバーベル型運用である; int6 -> int7: そのサービス費はバーベル型運用である; int7 & fact7 -> int8: 「そのサービス費はバーベル型運用だ一方で祝日でない」ということは嘘でない; int8 -> hypothesis;
もしもあの墓標がガラスケースだしおまけにそれが成され易いとするとそれは働かない
fact14 -> hypothesis;
$facts$ = fact1: そのニューヨーク公共図書館は組み合わさらない fact2: もしガラスケースが成され易いならばそれは働くということはない fact3: その爆発力はバーベル型運用でない fact4: もし「そのサービス費は働く」ということは真実であるとしたらそれはぼろくなくてバーベル型運用だ fact5: そのサービス費は組み合わさらない fact6: 仮にそのサービス費が組み合わさらないとすれば見え難くて加えてそれは同感だ fact7: そのサービス費は祝日でない fact8: もし仮にそのサービス費が撤兵でそれが生み易いならばそれは同感でない fact9: その石円圏は組み合わさる fact10: そのサービス費は見え難い fact11: もしも何かは見え難いしさらに同感であるとするとそれは限定出来ない fact12: 何かは限定出来ないならば働く fact13: そのサービス費はぼろくない ; $hypothesis$ = 「バーベル型運用だし祝日でない」物はある ; $proof$ = 
fact11 -> int1: そのサービス費が見え難くて同感なら限定出来ない; fact5 & fact6 -> int2: そのサービス費は見え難くて更にそれは同感だ; int1 & int2 -> int3: 「そのサービス費は限定出来ない」ということは確かである; fact12 -> int4: もしも「そのサービス費は限定出来ない」ということは誤りでないとすれば働く; int3 & int4 -> int5: そのサービス費は働く; int5 & fact4 -> int6: そのサービス費はぼろくないがそれはバーベル型運用である; int6 -> int7: そのサービス費はバーベル型運用である; int7 & fact7 -> int8: 「そのサービス費はバーベル型運用だ一方で祝日でない」ということは嘘でない; int8 -> hypothesis; __PROVED__
事実1: そのニューヨーク公共図書館は組み合わさらない
事実2: もしガラスケースが成され易いならばそれは働くということはない
事実3: その爆発力はバーベル型運用でない
事実4: もし「そのサービス費は働く」ということは真実であるとしたらそれはぼろくなくてバーベル型運用だ
事実5: そのサービス費は組み合わさらない
事実6: 仮にそのサービス費が組み合わさらないとすれば見え難くて加えてそれは同感だ
事実7: そのサービス費は祝日でない
事実8: もし仮にそのサービス費が撤兵でそれが生み易いならばそれは同感でない
事実9: その石円圏は組み合わさる
事実10: そのサービス費は見え難い
事実11: もしも何かは見え難いしさらに同感であるとするとそれは限定出来ない
事実12: 何かは限定出来ないならば働く
事実13: そのサービス費はぼろくない

仮説: 「バーベル型運用だし祝日でない」物はある
1. 事実11から、推論1: "そのサービス費が見え難くて同感なら限定出来ない"が導かれる
2. 事実5と事実6から、推論2: "そのサービス費は見え難くて更にそれは同感だ"が導かれる
3. 推論1と推論2から、推論3: "「そのサービス費は限定出来ない」ということは確かである"が導かれる
4. 事実12から、推論4: "もしも「そのサービス費は限定出来ない」ということは誤りでないとすれば働く"が導かれる
5. 推論3と推論4から、推論5: "そのサービス費は働く"が導かれる
6. 推論5と事実4から、推論6: "そのサービス費はぼろくないがそれはバーベル型運用である"が導かれる
7. 推論6から、推論7: "そのサービス費はバーベル型運用である"が導かれる
8. 推論7と事実7から、推論8: "「そのサービス費はバーベル型運用だ一方で祝日でない」ということは嘘でない"が導かれる
9. 推論8から、仮説が導かれる

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