この布は小難しくない
fact1: この布は取り逃がさない fact2: この板壁は小難しくない fact3: もし仮に「「この板壁は惜しいし取り逃がす」ということは成り立たない」ということは確かであるとすればあの布は小難しくない fact4: 「この板壁は惜しくて小難しい」ということは誤っているとすればこの布は取り逃がさない fact5: 頼り無いものは情報機関である fact6: この板壁は頼り無くてまた御出掛けに成る fact7: この布は惜しくない fact8: 木目細かい物は小難しい fact9: 「この板壁は惜しいし加えてそれは取り逃がす」ということは嘘である fact10: もし仮にこの板壁が取り逃がさないならばあの布は小難しくない
fact3 & fact9 -> hypothesis;
「この布は小難しい」ということは成り立つ
fact12 -> int1: もしもこの布が木目細かいならば小難しい; fact13 -> int2: この板壁が頼り無いとしたら情報機関だ; fact11 -> int3: 「この板壁は頼り無い」ということは真実だ; int2 & int3 -> int4: この板壁は情報機関である; int4 -> int5: 「情報機関である」物はある;
$facts$ = fact1: この布は取り逃がさない fact2: この板壁は小難しくない fact3: もし仮に「「この板壁は惜しいし取り逃がす」ということは成り立たない」ということは確かであるとすればあの布は小難しくない fact4: 「この板壁は惜しくて小難しい」ということは誤っているとすればこの布は取り逃がさない fact5: 頼り無いものは情報機関である fact6: この板壁は頼り無くてまた御出掛けに成る fact7: この布は惜しくない fact8: 木目細かい物は小難しい fact9: 「この板壁は惜しいし加えてそれは取り逃がす」ということは嘘である fact10: もし仮にこの板壁が取り逃がさないならばあの布は小難しくない ; $hypothesis$ = この布は小難しくない ; $proof$ = 
fact3 & fact9 -> hypothesis; __PROVED__
事実1: この布は取り逃がさない
事実2: この板壁は小難しくない
事実3: もし仮に「「この板壁は惜しいし取り逃がす」ということは成り立たない」ということは確かであるとすればあの布は小難しくない
事実4: 「この板壁は惜しくて小難しい」ということは誤っているとすればこの布は取り逃がさない
事実5: 頼り無いものは情報機関である
事実6: この板壁は頼り無くてまた御出掛けに成る
事実7: この布は惜しくない
事実8: 木目細かい物は小難しい
事実9: 「この板壁は惜しいし加えてそれは取り逃がす」ということは嘘である
事実10: もし仮にこの板壁が取り逃がさないならばあの布は小難しくない

仮説: この布は小難しくない
1. 事実3と事実9から、仮説が導かれる

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