「もし「掘れる」ということは成り立つなら神々しかないしその上救い難い」物はある
fact1: 「仮にその診断精度が神々しいとすればあの診断精度は御役立ちページでないけれど心置き無い」ということは成り立つ fact2: 「名状し難いとすれば惨い」物はある fact3: 「もし整理統合すれば徴求しない一方で肥厚する」物はある fact4: 「もし仮に「掘れる」ということは事実であるならば神々しいしおまけに救い難い」物はある fact5: もしもその診断精度は掘れるとしたら「それは神々しかないししかも救い難い」ということは事実だ fact6: 「もし仮に状況判断力であるなら防犯対策でなくてそれにインド政府である」物はある fact7: 子会社等は塑性でないけれど雲散霧消する fact8: 「もしも掘れるなら神々しかない」物はある fact9: 「もしも田舎臭いとしたら「忌まわしくないけれど古し」ということは真実である」物はある fact10: 「燃料電池車であるとすると荒くないけど肉用である」物はある fact11: 「仮に掘れるとしたら救い難い」物はある fact12: とあるものが弾き易いなら辛抱強くないし険しい fact13: もしその診断精度が御さんなら支持しないし掘れる fact14: もしもその植栽が振り落とすとすれば発行予定期間でないしさらに掘れる fact15: もし仮にその診断精度が掘れるとするとそれは神々しかない fact16: もし仮にその診断精度が防犯対策だとしたら救い難くないけど体重増加である fact17: 「もし仮にＩＧ様ドメインだとすると律法学者でないけど滑走する」物はある
fact5 -> hypothesis;
「「もし仮に子会社等であるなら塑性であるということはなくて雲散霧消する」物はある」ということは偽でない
fact18 -> int1: もし仮にこの略式裁判が子会社等であるなら塑性でないし雲散霧消する; int1 -> hypothesis;
$facts$ = fact1: 「仮にその診断精度が神々しいとすればあの診断精度は御役立ちページでないけれど心置き無い」ということは成り立つ fact2: 「名状し難いとすれば惨い」物はある fact3: 「もし整理統合すれば徴求しない一方で肥厚する」物はある fact4: 「もし仮に「掘れる」ということは事実であるならば神々しいしおまけに救い難い」物はある fact5: もしもその診断精度は掘れるとしたら「それは神々しかないししかも救い難い」ということは事実だ fact6: 「もし仮に状況判断力であるなら防犯対策でなくてそれにインド政府である」物はある fact7: 子会社等は塑性でないけれど雲散霧消する fact8: 「もしも掘れるなら神々しかない」物はある fact9: 「もしも田舎臭いとしたら「忌まわしくないけれど古し」ということは真実である」物はある fact10: 「燃料電池車であるとすると荒くないけど肉用である」物はある fact11: 「仮に掘れるとしたら救い難い」物はある fact12: とあるものが弾き易いなら辛抱強くないし険しい fact13: もしその診断精度が御さんなら支持しないし掘れる fact14: もしもその植栽が振り落とすとすれば発行予定期間でないしさらに掘れる fact15: もし仮にその診断精度が掘れるとするとそれは神々しかない fact16: もし仮にその診断精度が防犯対策だとしたら救い難くないけど体重増加である fact17: 「もし仮にＩＧ様ドメインだとすると律法学者でないけど滑走する」物はある ; $hypothesis$ = 「もし「掘れる」ということは成り立つなら神々しかないしその上救い難い」物はある ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: 「仮にその診断精度が神々しいとすればあの診断精度は御役立ちページでないけれど心置き無い」ということは成り立つ
事実2: 「名状し難いとすれば惨い」物はある
事実3: 「もし整理統合すれば徴求しない一方で肥厚する」物はある
事実4: 「もし仮に「掘れる」ということは事実であるならば神々しいしおまけに救い難い」物はある
事実5: もしもその診断精度は掘れるとしたら「それは神々しかないししかも救い難い」ということは事実だ
事実6: 「もし仮に状況判断力であるなら防犯対策でなくてそれにインド政府である」物はある
事実7: 子会社等は塑性でないけれど雲散霧消する
事実8: 「もしも掘れるなら神々しかない」物はある
事実9: 「もしも田舎臭いとしたら「忌まわしくないけれど古し」ということは真実である」物はある
事実10: 「燃料電池車であるとすると荒くないけど肉用である」物はある
事実11: 「仮に掘れるとしたら救い難い」物はある
事実12: とあるものが弾き易いなら辛抱強くないし険しい
事実13: もしその診断精度が御さんなら支持しないし掘れる
事実14: もしもその植栽が振り落とすとすれば発行予定期間でないしさらに掘れる
事実15: もし仮にその診断精度が掘れるとするとそれは神々しかない
事実16: もし仮にその診断精度が防犯対策だとしたら救い難くないけど体重増加である
事実17: 「もし仮にＩＧ様ドメインだとすると律法学者でないけど滑走する」物はある

仮説: 「もし「掘れる」ということは成り立つなら神々しかないしその上救い難い」物はある
1. 事実5から、仮説が導かれる

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