その異議申し立てが罪深いということはないとしたらそれはフッシュでない
fact1: もし仮になんらかの物が麗々しくないとしたら吹き上がらない fact2: その異議申し立ては文書中でないとすると罪深い fact3: もしもあの示談が吊らないとしたらそれは端座しない fact4: もし仮にあるものが印刷プレビュー画面でないとすれば疑い深くない fact5: その百十二人は罪深いということはないとすれば「演繹しない」ということは事実である fact6: あるものが罪深くないとしたらフッシュでない fact7: もし何かは酒代でないならば受け辛い fact8: もしもある物が罪深いとすればそれはフッシュでない fact9: もしもその異議申し立てが罪深くないとしたらそれは皮肉っぽくない fact10: やばくないものは速度計でない fact11: もしもある物が送還するということはないとすれば作り込む fact12: もし仮にその異議申し立てがフッシュだとすればそれは振り解かない fact13: もし仮にあのテキストオブジェクトが青っぽくないなら真ん丸い fact14: 仮にその異議申し立ては都道府県別でないならば「それはフッシュだ」ということは事実だ fact15: もしその異議申し立てはフッシュだということはないなら「それは屈従しない」ということは正しい fact16: 何かは心安くないとするとそれは限り無し
fact6 -> hypothesis;
fact6 -> hypothesis;
$facts$ = fact1: もし仮になんらかの物が麗々しくないとしたら吹き上がらない fact2: その異議申し立ては文書中でないとすると罪深い fact3: もしもあの示談が吊らないとしたらそれは端座しない fact4: もし仮にあるものが印刷プレビュー画面でないとすれば疑い深くない fact5: その百十二人は罪深いということはないとすれば「演繹しない」ということは事実である fact6: あるものが罪深くないとしたらフッシュでない fact7: もし何かは酒代でないならば受け辛い fact8: もしもある物が罪深いとすればそれはフッシュでない fact9: もしもその異議申し立てが罪深くないとしたらそれは皮肉っぽくない fact10: やばくないものは速度計でない fact11: もしもある物が送還するということはないとすれば作り込む fact12: もし仮にその異議申し立てがフッシュだとすればそれは振り解かない fact13: もし仮にあのテキストオブジェクトが青っぽくないなら真ん丸い fact14: 仮にその異議申し立ては都道府県別でないならば「それはフッシュだ」ということは事実だ fact15: もしその異議申し立てはフッシュだということはないなら「それは屈従しない」ということは正しい fact16: 何かは心安くないとするとそれは限り無し ; $hypothesis$ = その異議申し立てが罪深いということはないとしたらそれはフッシュでない ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: もし仮になんらかの物が麗々しくないとしたら吹き上がらない
事実2: その異議申し立ては文書中でないとすると罪深い
事実3: もしもあの示談が吊らないとしたらそれは端座しない
事実4: もし仮にあるものが印刷プレビュー画面でないとすれば疑い深くない
事実5: その百十二人は罪深いということはないとすれば「演繹しない」ということは事実である
事実6: あるものが罪深くないとしたらフッシュでない
事実7: もし何かは酒代でないならば受け辛い
事実8: もしもある物が罪深いとすればそれはフッシュでない
事実9: もしもその異議申し立てが罪深くないとしたらそれは皮肉っぽくない
事実10: やばくないものは速度計でない
事実11: もしもある物が送還するということはないとすれば作り込む
事実12: もし仮にその異議申し立てがフッシュだとすればそれは振り解かない
事実13: もし仮にあのテキストオブジェクトが青っぽくないなら真ん丸い
事実14: 仮にその異議申し立ては都道府県別でないならば「それはフッシュだ」ということは事実だ
事実15: もしその異議申し立てはフッシュだということはないなら「それは屈従しない」ということは正しい
事実16: 何かは心安くないとするとそれは限り無し

仮説: その異議申し立てが罪深いということはないとしたらそれはフッシュでない
1. 事実6から、仮説が導かれる

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