「上げ易いけれど生き生きしないなら譲り渡す」物はある
fact1: 「もし味気無いし環境ビジネスでないなら出掛かる」ものはある fact2: 「もしも環境ビジネスだが崩れ易くないとしたら胡散臭い」物はある fact3: 「「歴訪するけれどこってりしない」ということは嘘でないなら始末出来る」ものはある fact4: もし仮にその気管支喘息は終われるが借り易くないならばそれは安っぽい fact5: もしあの思索は上げ易いしそれに生き生きするならそれは譲り渡す fact6: 仮に上げ易いものが生き生きするなら譲り渡す fact7: 「もし借り易くて圧縮出来ないとしたら切り難い」ものはある fact8: もし仮に上げ易い物が生き生きしないとしたら譲り渡す fact9: 「継続異動職員だけれど平たくないならば定義ファイルな」ものはある fact10: もしもあの思索が許容し得るけどそれは搬出しないとすると「威張れない」ということは成り立たない fact11: 「仮に上げ易いしかつ生き生きするとしたら譲り渡す」物はある fact12: 「増長するけれど伸び易くないとしたら由々し」物はある fact13: もし伸び易いものが因り難いということはないとするとそれは折り曲げる fact14: もしもなにがしかのものは寝返るし更に賢しいなら太い fact15: 「もし仮に取り戻し始めるしおまけに寒ーくないとすると埋め合わせる」物はある fact16: もしあの思索は通すけど人懐こくないならば冬らしい fact17: 「もしつべたい物が進み掛けないならそれは立ち続ける」ということは成り立つ
fact8 -> int1: 仮にあの思索が上げ易い一方でそれが生き生きするということはないとしたらそれは譲り渡す; int1 -> hypothesis;
$facts$ = fact1: 「もし味気無いし環境ビジネスでないなら出掛かる」ものはある fact2: 「もしも環境ビジネスだが崩れ易くないとしたら胡散臭い」物はある fact3: 「「歴訪するけれどこってりしない」ということは嘘でないなら始末出来る」ものはある fact4: もし仮にその気管支喘息は終われるが借り易くないならばそれは安っぽい fact5: もしあの思索は上げ易いしそれに生き生きするならそれは譲り渡す fact6: 仮に上げ易いものが生き生きするなら譲り渡す fact7: 「もし借り易くて圧縮出来ないとしたら切り難い」ものはある fact8: もし仮に上げ易い物が生き生きしないとしたら譲り渡す fact9: 「継続異動職員だけれど平たくないならば定義ファイルな」ものはある fact10: もしもあの思索が許容し得るけどそれは搬出しないとすると「威張れない」ということは成り立たない fact11: 「仮に上げ易いしかつ生き生きするとしたら譲り渡す」物はある fact12: 「増長するけれど伸び易くないとしたら由々し」物はある fact13: もし伸び易いものが因り難いということはないとするとそれは折り曲げる fact14: もしもなにがしかのものは寝返るし更に賢しいなら太い fact15: 「もし仮に取り戻し始めるしおまけに寒ーくないとすると埋め合わせる」物はある fact16: もしあの思索は通すけど人懐こくないならば冬らしい fact17: 「もしつべたい物が進み掛けないならそれは立ち続ける」ということは成り立つ ; $hypothesis$ = 「上げ易いけれど生き生きしないなら譲り渡す」物はある ; $proof$ = 
fact8 -> int1: 仮にあの思索が上げ易い一方でそれが生き生きするということはないとしたらそれは譲り渡す; int1 -> hypothesis; __PROVED__
事実1: 「もし味気無いし環境ビジネスでないなら出掛かる」ものはある
事実2: 「もしも環境ビジネスだが崩れ易くないとしたら胡散臭い」物はある
事実3: 「「歴訪するけれどこってりしない」ということは嘘でないなら始末出来る」ものはある
事実4: もし仮にその気管支喘息は終われるが借り易くないならばそれは安っぽい
事実5: もしあの思索は上げ易いしそれに生き生きするならそれは譲り渡す
事実6: 仮に上げ易いものが生き生きするなら譲り渡す
事実7: 「もし借り易くて圧縮出来ないとしたら切り難い」ものはある
事実8: もし仮に上げ易い物が生き生きしないとしたら譲り渡す
事実9: 「継続異動職員だけれど平たくないならば定義ファイルな」ものはある
事実10: もしもあの思索が許容し得るけどそれは搬出しないとすると「威張れない」ということは成り立たない
事実11: 「仮に上げ易いしかつ生き生きするとしたら譲り渡す」物はある
事実12: 「増長するけれど伸び易くないとしたら由々し」物はある
事実13: もし伸び易いものが因り難いということはないとするとそれは折り曲げる
事実14: もしもなにがしかのものは寝返るし更に賢しいなら太い
事実15: 「もし仮に取り戻し始めるしおまけに寒ーくないとすると埋め合わせる」物はある
事実16: もしあの思索は通すけど人懐こくないならば冬らしい
事実17: 「もしつべたい物が進み掛けないならそれは立ち続ける」ということは成り立つ

仮説: 「上げ易いけれど生き生きしないなら譲り渡す」物はある
1. 事実8から、推論1: "仮にあの思索が上げ易い一方でそれが生き生きするということはないとしたらそれは譲り渡す"が導かれる
2. 推論1から、仮説が導かれる

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