あるものは使い辛くない
fact1: その別記様式歳入歳出予算は腐乱しない fact2: もし仮にこの住宅資金貸し付け債権が使い辛いならその別記様式歳入歳出予算は腐乱しない fact3: もしもその別記様式歳入歳出予算が在宅介護であるとするとその運動線維は使い辛くない fact4: 「在宅介護な」ものはある fact5: もしもその運動線維が使い辛いとするとその別記様式歳入歳出予算は在宅介護でない fact6: もしもその別記様式歳入歳出予算が在宅介護であるならその運動線維は使い辛い fact7: もし仮にその運動線維が在宅介護だとするとこの住宅資金貸し付け債権は腐乱する fact8: 「その別記様式歳入歳出予算は起こり易い」ということは事実だ fact9: 「仮にこの住宅資金貸し付け債権が在宅介護ならその運動線維は腐乱する」ということは事実である fact10: もし仮にその運動線維が腐乱すればこの住宅資金貸し付け債権は在宅介護だ fact11: その運動線維は在宅介護だ fact12: その運動線維は物寂しいししかも信仰深い fact13: 何かは使い辛い fact14: 「その運動線維は腐乱する」ということは事実である fact15: 「在宅介護だということはない」ものはある fact16: もし仮にこの住宅資金貸し付け債権が腐乱するとしたらその別記様式歳入歳出予算は使い辛くない fact17: もしもその別記様式歳入歳出予算が腐乱するとすればあの住宅資金貸し付け債権は使い辛い fact18: その運動線維はスペアカーでない fact19: その別記様式歳入歳出予算が使い辛いならその運動線維は腐乱する fact20: 「腐乱する」物はある fact21: この経営陣は在宅介護だ
fact7 & fact11 -> int1: この住宅資金貸し付け債権は腐乱する; int1 & fact16 -> int2: その別記様式歳入歳出予算は使い辛くない; int2 -> hypothesis;
この連歌資料は腐乱する
fact22 -> int3: その運動線維は物寂しい; int3 -> int4: 何かは物寂しい;
$facts$ = fact1: その別記様式歳入歳出予算は腐乱しない fact2: もし仮にこの住宅資金貸し付け債権が使い辛いならその別記様式歳入歳出予算は腐乱しない fact3: もしもその別記様式歳入歳出予算が在宅介護であるとするとその運動線維は使い辛くない fact4: 「在宅介護な」ものはある fact5: もしもその運動線維が使い辛いとするとその別記様式歳入歳出予算は在宅介護でない fact6: もしもその別記様式歳入歳出予算が在宅介護であるならその運動線維は使い辛い fact7: もし仮にその運動線維が在宅介護だとするとこの住宅資金貸し付け債権は腐乱する fact8: 「その別記様式歳入歳出予算は起こり易い」ということは事実だ fact9: 「仮にこの住宅資金貸し付け債権が在宅介護ならその運動線維は腐乱する」ということは事実である fact10: もし仮にその運動線維が腐乱すればこの住宅資金貸し付け債権は在宅介護だ fact11: その運動線維は在宅介護だ fact12: その運動線維は物寂しいししかも信仰深い fact13: 何かは使い辛い fact14: 「その運動線維は腐乱する」ということは事実である fact15: 「在宅介護だということはない」ものはある fact16: もし仮にこの住宅資金貸し付け債権が腐乱するとしたらその別記様式歳入歳出予算は使い辛くない fact17: もしもその別記様式歳入歳出予算が腐乱するとすればあの住宅資金貸し付け債権は使い辛い fact18: その運動線維はスペアカーでない fact19: その別記様式歳入歳出予算が使い辛いならその運動線維は腐乱する fact20: 「腐乱する」物はある fact21: この経営陣は在宅介護だ ; $hypothesis$ = あるものは使い辛くない ; $proof$ = 
fact7 & fact11 -> int1: この住宅資金貸し付け債権は腐乱する; int1 & fact16 -> int2: その別記様式歳入歳出予算は使い辛くない; int2 -> hypothesis; __PROVED__
事実1: その別記様式歳入歳出予算は腐乱しない
事実2: もし仮にこの住宅資金貸し付け債権が使い辛いならその別記様式歳入歳出予算は腐乱しない
事実3: もしもその別記様式歳入歳出予算が在宅介護であるとするとその運動線維は使い辛くない
事実4: 「在宅介護な」ものはある
事実5: もしもその運動線維が使い辛いとするとその別記様式歳入歳出予算は在宅介護でない
事実6: もしもその別記様式歳入歳出予算が在宅介護であるならその運動線維は使い辛い
事実7: もし仮にその運動線維が在宅介護だとするとこの住宅資金貸し付け債権は腐乱する
事実8: 「その別記様式歳入歳出予算は起こり易い」ということは事実だ
事実9: 「仮にこの住宅資金貸し付け債権が在宅介護ならその運動線維は腐乱する」ということは事実である
事実10: もし仮にその運動線維が腐乱すればこの住宅資金貸し付け債権は在宅介護だ
事実11: その運動線維は在宅介護だ
事実12: その運動線維は物寂しいししかも信仰深い
事実13: 何かは使い辛い
事実14: 「その運動線維は腐乱する」ということは事実である
事実15: 「在宅介護だということはない」ものはある
事実16: もし仮にこの住宅資金貸し付け債権が腐乱するとしたらその別記様式歳入歳出予算は使い辛くない
事実17: もしもその別記様式歳入歳出予算が腐乱するとすればあの住宅資金貸し付け債権は使い辛い
事実18: その運動線維はスペアカーでない
事実19: その別記様式歳入歳出予算が使い辛いならその運動線維は腐乱する
事実20: 「腐乱する」物はある
事実21: この経営陣は在宅介護だ

仮説: あるものは使い辛くない
1. 事実7と事実11から、推論1: "この住宅資金貸し付け債権は腐乱する"が導かれる
2. 推論1と事実16から、推論2: "その別記様式歳入歳出予算は使い辛くない"が導かれる
3. 推論2から、仮説が導かれる

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