この二十箱は運送しない
fact1: 仮に関係深いものが運送しないならばそれは収穫出来る fact2: もしこの刺入部位が収穫出来ないならばあの紅型は収穫出来るしそれは関係深い fact3: 仮にこの紅型が収穫出来るしまた関係深いならこの二十箱は運送しない fact4: この刺入部位は仕立て上げるし球根だ fact5: もしなにがしかの物が仕立て上げるがしかしそれは球根でないならそれは言い尽くさない fact6: この刺入部位は言い尽くすしさらに修理屋だ fact7: この紅型は関係深い fact8: もしあるものが仕立て上げるしかつそれが言い尽くすとするとそれは収穫出来るということはない fact9: この二十箱は球根である
fact4 -> int1: この刺入部位は仕立て上げる; fact6 -> int2: この刺入部位は言い尽くす; int1 & int2 -> int3: この刺入部位は仕立て上げるしかつ言い尽くす; fact8 -> int4: この刺入部位は仕立て上げるししかも言い尽くせばそれは収穫出来ない; int3 & int4 -> int5: 「この刺入部位は収穫出来ない」ということは成り立つ; int5 & fact2 -> int6: この紅型は収穫出来るし加えてそれは関係深い; int6 & fact3 -> hypothesis;
「この共働き夫婦は言い尽くさない」ということは真実である
fact10 -> int7: もしもこの共働き夫婦が仕立て上げるがしかし球根でないとしたら言い尽くさない; fact11 -> int8: この共働き夫婦は関係深いけれど運送しないとすればそれは収穫出来る;
$facts$ = fact1: 仮に関係深いものが運送しないならばそれは収穫出来る fact2: もしこの刺入部位が収穫出来ないならばあの紅型は収穫出来るしそれは関係深い fact3: 仮にこの紅型が収穫出来るしまた関係深いならこの二十箱は運送しない fact4: この刺入部位は仕立て上げるし球根だ fact5: もしなにがしかの物が仕立て上げるがしかしそれは球根でないならそれは言い尽くさない fact6: この刺入部位は言い尽くすしさらに修理屋だ fact7: この紅型は関係深い fact8: もしあるものが仕立て上げるしかつそれが言い尽くすとするとそれは収穫出来るということはない fact9: この二十箱は球根である ; $hypothesis$ = この二十箱は運送しない ; $proof$ = 
fact4 -> int1: この刺入部位は仕立て上げる; fact6 -> int2: この刺入部位は言い尽くす; int1 & int2 -> int3: この刺入部位は仕立て上げるしかつ言い尽くす; fact8 -> int4: この刺入部位は仕立て上げるししかも言い尽くせばそれは収穫出来ない; int3 & int4 -> int5: 「この刺入部位は収穫出来ない」ということは成り立つ; int5 & fact2 -> int6: この紅型は収穫出来るし加えてそれは関係深い; int6 & fact3 -> hypothesis; __PROVED__
事実1: 仮に関係深いものが運送しないならばそれは収穫出来る
事実2: もしこの刺入部位が収穫出来ないならばあの紅型は収穫出来るしそれは関係深い
事実3: 仮にこの紅型が収穫出来るしまた関係深いならこの二十箱は運送しない
事実4: この刺入部位は仕立て上げるし球根だ
事実5: もしなにがしかの物が仕立て上げるがしかしそれは球根でないならそれは言い尽くさない
事実6: この刺入部位は言い尽くすしさらに修理屋だ
事実7: この紅型は関係深い
事実8: もしあるものが仕立て上げるしかつそれが言い尽くすとするとそれは収穫出来るということはない
事実9: この二十箱は球根である

仮説: この二十箱は運送しない
1. 事実4から、推論1: "この刺入部位は仕立て上げる"が導かれる
2. 事実6から、推論2: "この刺入部位は言い尽くす"が導かれる
3. 推論1と推論2から、推論3: "この刺入部位は仕立て上げるしかつ言い尽くす"が導かれる
4. 事実8から、推論4: "この刺入部位は仕立て上げるししかも言い尽くせばそれは収穫出来ない"が導かれる
5. 推論3と推論4から、推論5: "「この刺入部位は収穫出来ない」ということは成り立つ"が導かれる
6. 推論5と事実2から、推論6: "この紅型は収穫出来るし加えてそれは関係深い"が導かれる
7. 推論6と事実3から、仮説が導かれる

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