その現在形は思慮深くない
fact1: もしその現在形はプロモーターでないとすると思慮深い fact2: もしもその現在形が現われ難くないならそれは放くが思慮深くない fact3: もしその一つ辺りは六／二十八開催であるということはないとするとそれは作業し易い fact4: その現在形は上代特殊仮名遣いである fact5: 「その衣生活は現われ難くない」ということは事実である fact6: 仮にその現在形が思慮深いとすれば再認識しない fact7: その現在形は通じ難い fact8: 仮にあの故意不法行為は現われ難くないしさらに放かないとしたら「あの株式譲渡は通じ難いということはない」ということは確かである fact9: もしその現在形が現われ難くないならば放く fact10: その現在形は積載しない fact11: もしもあの故意不法行為が通じ難いが放かないならばその現在形は思慮深い fact12: もしあの成体前駆細胞はバーゲンであるとすれば銘柄牛でない fact13: 現われ難いものは放かない fact14: その現在形は心深しがそれは拭い難くない fact15: 「その現在形はちょろい」ということは成り立つ fact16: その現在形は食べ荒らす fact17: この年間売り上げ高は思慮深いということはない一方で口喧しい fact18: その現在形は多くない fact19: 「その現在形はインサイドでない」ということは本当である fact20: 「もしも「その現在形は網膜である」ということは成り立つならその現在形は編曲しない」ということは本当だ fact21: 「通じ難い物は現われ難くない」ということは事実である
fact21 -> int1: もしその現在形が通じ難いとしたらそれは現われ難いということはない; int1 & fact7 -> int2: その現在形は現われ難くない; int2 & fact2 -> int3: その現在形は放くが思慮深くない; int3 -> hypothesis;
その現在形は思慮深い
$facts$ = fact1: もしその現在形はプロモーターでないとすると思慮深い fact2: もしもその現在形が現われ難くないならそれは放くが思慮深くない fact3: もしその一つ辺りは六／二十八開催であるということはないとするとそれは作業し易い fact4: その現在形は上代特殊仮名遣いである fact5: 「その衣生活は現われ難くない」ということは事実である fact6: 仮にその現在形が思慮深いとすれば再認識しない fact7: その現在形は通じ難い fact8: 仮にあの故意不法行為は現われ難くないしさらに放かないとしたら「あの株式譲渡は通じ難いということはない」ということは確かである fact9: もしその現在形が現われ難くないならば放く fact10: その現在形は積載しない fact11: もしもあの故意不法行為が通じ難いが放かないならばその現在形は思慮深い fact12: もしあの成体前駆細胞はバーゲンであるとすれば銘柄牛でない fact13: 現われ難いものは放かない fact14: その現在形は心深しがそれは拭い難くない fact15: 「その現在形はちょろい」ということは成り立つ fact16: その現在形は食べ荒らす fact17: この年間売り上げ高は思慮深いということはない一方で口喧しい fact18: その現在形は多くない fact19: 「その現在形はインサイドでない」ということは本当である fact20: 「もしも「その現在形は網膜である」ということは成り立つならその現在形は編曲しない」ということは本当だ fact21: 「通じ難い物は現われ難くない」ということは事実である ; $hypothesis$ = その現在形は思慮深くない ; $proof$ = 
fact21 -> int1: もしその現在形が通じ難いとしたらそれは現われ難いということはない; int1 & fact7 -> int2: その現在形は現われ難くない; int2 & fact2 -> int3: その現在形は放くが思慮深くない; int3 -> hypothesis; __PROVED__
事実1: もしその現在形はプロモーターでないとすると思慮深い
事実2: もしもその現在形が現われ難くないならそれは放くが思慮深くない
事実3: もしその一つ辺りは六／二十八開催であるということはないとするとそれは作業し易い
事実4: その現在形は上代特殊仮名遣いである
事実5: 「その衣生活は現われ難くない」ということは事実である
事実6: 仮にその現在形が思慮深いとすれば再認識しない
事実7: その現在形は通じ難い
事実8: 仮にあの故意不法行為は現われ難くないしさらに放かないとしたら「あの株式譲渡は通じ難いということはない」ということは確かである
事実9: もしその現在形が現われ難くないならば放く
事実10: その現在形は積載しない
事実11: もしもあの故意不法行為が通じ難いが放かないならばその現在形は思慮深い
事実12: もしあの成体前駆細胞はバーゲンであるとすれば銘柄牛でない
事実13: 現われ難いものは放かない
事実14: その現在形は心深しがそれは拭い難くない
事実15: 「その現在形はちょろい」ということは成り立つ
事実16: その現在形は食べ荒らす
事実17: この年間売り上げ高は思慮深いということはない一方で口喧しい
事実18: その現在形は多くない
事実19: 「その現在形はインサイドでない」ということは本当である
事実20: 「もしも「その現在形は網膜である」ということは成り立つならその現在形は編曲しない」ということは本当だ
事実21: 「通じ難い物は現われ難くない」ということは事実である

仮説: その現在形は思慮深くない
1. 事実21から、推論1: "もしその現在形が通じ難いとしたらそれは現われ難いということはない"が導かれる
2. 推論1と事実7から、推論2: "その現在形は現われ難くない"が導かれる
3. 推論2と事実2から、推論3: "その現在形は放くが思慮深くない"が導かれる
4. 推論3から、仮説が導かれる

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