その倉敷は靡く
fact1: 「その倉敷は手堅くてそれは黴臭い」ということは成り立たない fact2: もしもあるものは御高くないなら「それは強しけど嗅ぎ分けない」ということは成り立たない fact3: もし「その倉敷は手堅いしその上黴臭い」ということは成り立たないとするとあのＬＣＰは黴臭いということはない fact4: 黴臭くないものは靡く fact5: この洋菓子は黴臭いしかつ振動する fact6: その倉敷は黴臭いししかも靡く fact7: その倉敷は黴臭い fact8: もし「ある物は強しけど嗅ぎ分けない」ということは間違いであるとすると「それは狙い難い」ということは嘘でない fact9: 仮に何かは立体化するとするとそれは出現しないけどロールする fact10: もし仮にあのＬＣＰは出現しないがロールするとしたらそれは御高くない fact11: 「このホームページビルダーは黴臭いが靡かない」ということは成り立たないとしたら「その倉敷は靡くということはない」ということは事実である
fact6 -> hypothesis;
fact6 -> hypothesis;
その倉敷は靡かない
$facts$ = fact1: 「その倉敷は手堅くてそれは黴臭い」ということは成り立たない fact2: もしもあるものは御高くないなら「それは強しけど嗅ぎ分けない」ということは成り立たない fact3: もし「その倉敷は手堅いしその上黴臭い」ということは成り立たないとするとあのＬＣＰは黴臭いということはない fact4: 黴臭くないものは靡く fact5: この洋菓子は黴臭いしかつ振動する fact6: その倉敷は黴臭いししかも靡く fact7: その倉敷は黴臭い fact8: もし「ある物は強しけど嗅ぎ分けない」ということは間違いであるとすると「それは狙い難い」ということは嘘でない fact9: 仮に何かは立体化するとするとそれは出現しないけどロールする fact10: もし仮にあのＬＣＰは出現しないがロールするとしたらそれは御高くない fact11: 「このホームページビルダーは黴臭いが靡かない」ということは成り立たないとしたら「その倉敷は靡くということはない」ということは事実である ; $hypothesis$ = その倉敷は靡く ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: 「その倉敷は手堅くてそれは黴臭い」ということは成り立たない
事実2: もしもあるものは御高くないなら「それは強しけど嗅ぎ分けない」ということは成り立たない
事実3: もし「その倉敷は手堅いしその上黴臭い」ということは成り立たないとするとあのＬＣＰは黴臭いということはない
事実4: 黴臭くないものは靡く
事実5: この洋菓子は黴臭いしかつ振動する
事実6: その倉敷は黴臭いししかも靡く
事実7: その倉敷は黴臭い
事実8: もし「ある物は強しけど嗅ぎ分けない」ということは間違いであるとすると「それは狙い難い」ということは嘘でない
事実9: 仮に何かは立体化するとするとそれは出現しないけどロールする
事実10: もし仮にあのＬＣＰは出現しないがロールするとしたらそれは御高くない
事実11: 「このホームページビルダーは黴臭いが靡かない」ということは成り立たないとしたら「その倉敷は靡くということはない」ということは事実である

仮説: その倉敷は靡く
1. 事実6から、仮説が導かれる

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