この二階条件は売り難いししかも言い易い
fact1: もしなんらかのものは共同制作でないなら「それは売り難いしおまけに言い易い」ということは嘘である fact2: 共同制作は回避力でないけど悪賢い fact3: もしこの二階条件は独り言つなら「言い易い」ということは事実だ fact4: すべての物は売り難くてそれは大人気無くない fact5: 「この二階条件は回避力でない」ということは確かである fact6: くどい物は大人気無い fact7: あの統合保育は共同制作である fact8: 「あの高水準言語は大人気無くない」ということは成り立たないならこの二階条件は共同制作でないけれど独り言つ fact9: もしもあの統合保育が回避力でないけど悪賢いとしたらこの二階条件は独り言つ
fact2 -> int1: あの統合保育が共同制作であるとしたらそれは回避力でないしそれは悪賢い; int1 & fact7 -> int2: あの統合保育は回避力でないがしかし悪賢い; int2 & fact9 -> int3: この二階条件は独り言つ; int3 & fact3 -> int4: この二階条件は言い易い; fact4 -> int5: この二階条件は売り難いけどそれは大人気無くない; int5 -> int6: この二階条件は売り難い; int4 & int6 -> hypothesis;
「この二階条件は売り難いししかも言い易い」ということは偽だ
fact10 -> int7: もしこの二階条件は共同制作であるということはないとしたら「売り難くて言い易い」ということは偽だ; fact12 -> int8: もし仮にあの高水準言語がくどいならばそれは大人気無い;
$facts$ = fact1: もしなんらかのものは共同制作でないなら「それは売り難いしおまけに言い易い」ということは嘘である fact2: 共同制作は回避力でないけど悪賢い fact3: もしこの二階条件は独り言つなら「言い易い」ということは事実だ fact4: すべての物は売り難くてそれは大人気無くない fact5: 「この二階条件は回避力でない」ということは確かである fact6: くどい物は大人気無い fact7: あの統合保育は共同制作である fact8: 「あの高水準言語は大人気無くない」ということは成り立たないならこの二階条件は共同制作でないけれど独り言つ fact9: もしもあの統合保育が回避力でないけど悪賢いとしたらこの二階条件は独り言つ ; $hypothesis$ = この二階条件は売り難いししかも言い易い ; $proof$ = 
fact2 -> int1: あの統合保育が共同制作であるとしたらそれは回避力でないしそれは悪賢い; int1 & fact7 -> int2: あの統合保育は回避力でないがしかし悪賢い; int2 & fact9 -> int3: この二階条件は独り言つ; int3 & fact3 -> int4: この二階条件は言い易い; fact4 -> int5: この二階条件は売り難いけどそれは大人気無くない; int5 -> int6: この二階条件は売り難い; int4 & int6 -> hypothesis; __PROVED__
事実1: もしなんらかのものは共同制作でないなら「それは売り難いしおまけに言い易い」ということは嘘である
事実2: 共同制作は回避力でないけど悪賢い
事実3: もしこの二階条件は独り言つなら「言い易い」ということは事実だ
事実4: すべての物は売り難くてそれは大人気無くない
事実5: 「この二階条件は回避力でない」ということは確かである
事実6: くどい物は大人気無い
事実7: あの統合保育は共同制作である
事実8: 「あの高水準言語は大人気無くない」ということは成り立たないならこの二階条件は共同制作でないけれど独り言つ
事実9: もしもあの統合保育が回避力でないけど悪賢いとしたらこの二階条件は独り言つ

仮説: この二階条件は売り難いししかも言い易い
1. 事実2から、推論1: "あの統合保育が共同制作であるとしたらそれは回避力でないしそれは悪賢い"が導かれる
2. 推論1と事実7から、推論2: "あの統合保育は回避力でないがしかし悪賢い"が導かれる
3. 推論2と事実9から、推論3: "この二階条件は独り言つ"が導かれる
4. 推論3と事実3から、推論4: "この二階条件は言い易い"が導かれる
5. 事実4から、推論5: "この二階条件は売り難いけどそれは大人気無くない"が導かれる
6. 推論5から、推論6: "この二階条件は売り難い"が導かれる
7. 推論4と推論6から、仮説が導かれる

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