「その食料品工業は証明済みであるしおまけに暗記する」ということは嘘だということはない
fact1: その教員組合は証明済みである fact2: もし仮に「カムフラージュしなくて加えて意義深いということはない」物があるとすればその食料品工業は日常語だ fact3: 「あの北海道市場は前年度予算である」ということは正しい fact4: 意義深い物がカムフラージュすれば理屈っぽくない fact5: このドライイチジクは理屈っぽいしさらに幼けない fact6: そのピンクベージュが意義深いとすればあの主神はカムフラージュするということはなくてしかもそれは意義深くない fact7: もしもこのドライイチジクが理屈っぽいならばそのピンクベージュは意義深い fact8: もしもなにかは日常語だとすればそれは証明済みだ fact9: 「参加出来るということはない」ものはある fact10: あの北海道市場が前年度予算であるならばその食料品工業は暗記する
fact5 -> int1: このドライイチジクは理屈っぽい; int1 & fact7 -> int2: 「そのピンクベージュは意義深い」ということは成り立つ; int2 & fact6 -> int3: この主神はカムフラージュしないしそれは意義深くない; int3 -> int4: なにかはカムフラージュするということはないしそれは意義深くない; int4 & fact2 -> int5: その食料品工業は日常語である; fact8 -> int6: もしその食料品工業が日常語だとすれば証明済みだ; int5 & int6 -> int7: その食料品工業は証明済みだ; fact3 & fact10 -> int8: その食料品工業は暗記する; int7 & int8 -> hypothesis;
その危険負担は幼けない
fact11 -> int9: このドライイチジクは意義深くてかつカムフラージュするなら理屈っぽくない;
$facts$ = fact1: その教員組合は証明済みである fact2: もし仮に「カムフラージュしなくて加えて意義深いということはない」物があるとすればその食料品工業は日常語だ fact3: 「あの北海道市場は前年度予算である」ということは正しい fact4: 意義深い物がカムフラージュすれば理屈っぽくない fact5: このドライイチジクは理屈っぽいしさらに幼けない fact6: そのピンクベージュが意義深いとすればあの主神はカムフラージュするということはなくてしかもそれは意義深くない fact7: もしもこのドライイチジクが理屈っぽいならばそのピンクベージュは意義深い fact8: もしもなにかは日常語だとすればそれは証明済みだ fact9: 「参加出来るということはない」ものはある fact10: あの北海道市場が前年度予算であるならばその食料品工業は暗記する ; $hypothesis$ = 「その食料品工業は証明済みであるしおまけに暗記する」ということは嘘だということはない ; $proof$ = 
fact5 -> int1: このドライイチジクは理屈っぽい; int1 & fact7 -> int2: 「そのピンクベージュは意義深い」ということは成り立つ; int2 & fact6 -> int3: この主神はカムフラージュしないしそれは意義深くない; int3 -> int4: なにかはカムフラージュするということはないしそれは意義深くない; int4 & fact2 -> int5: その食料品工業は日常語である; fact8 -> int6: もしその食料品工業が日常語だとすれば証明済みだ; int5 & int6 -> int7: その食料品工業は証明済みだ; fact3 & fact10 -> int8: その食料品工業は暗記する; int7 & int8 -> hypothesis; __PROVED__
事実1: その教員組合は証明済みである
事実2: もし仮に「カムフラージュしなくて加えて意義深いということはない」物があるとすればその食料品工業は日常語だ
事実3: 「あの北海道市場は前年度予算である」ということは正しい
事実4: 意義深い物がカムフラージュすれば理屈っぽくない
事実5: このドライイチジクは理屈っぽいしさらに幼けない
事実6: そのピンクベージュが意義深いとすればあの主神はカムフラージュするということはなくてしかもそれは意義深くない
事実7: もしもこのドライイチジクが理屈っぽいならばそのピンクベージュは意義深い
事実8: もしもなにかは日常語だとすればそれは証明済みだ
事実9: 「参加出来るということはない」ものはある
事実10: あの北海道市場が前年度予算であるならばその食料品工業は暗記する

仮説: 「その食料品工業は証明済みであるしおまけに暗記する」ということは嘘だということはない
1. 事実5から、推論1: "このドライイチジクは理屈っぽい"が導かれる
2. 推論1と事実7から、推論2: "「そのピンクベージュは意義深い」ということは成り立つ"が導かれる
3. 推論2と事実6から、推論3: "この主神はカムフラージュしないしそれは意義深くない"が導かれる
4. 推論3から、推論4: "なにかはカムフラージュするということはないしそれは意義深くない"が導かれる
5. 推論4と事実2から、推論5: "その食料品工業は日常語である"が導かれる
6. 事実8から、推論6: "もしその食料品工業が日常語だとすれば証明済みだ"が導かれる
7. 推論5と推論6から、推論7: "その食料品工業は証明済みだ"が導かれる
8. 事実3と事実10から、推論8: "その食料品工業は暗記する"が導かれる
9. 推論7と推論8から、仮説が導かれる

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