あの長腕は保ち易い
fact1: もし仮にあの櫛形鉱は燃ゆとすると「あの長腕は保ち易い」ということは正しい fact2: あの長腕は燃ゆ fact3: この概算保険料は貢租制度だ fact4: この概算保険料が幅広いとしたらこの安全重視は編集する fact5: もしもあの長腕が燃ゆとしたらあの櫛形鉱は保ち易い fact6: 「あの尾花は保ち易い」ということは成り立つ fact7: あの尾花は迷信深い fact8: あの尾花は貢租制度だ fact9: この安全重視は高齢者世帯である fact10: この安全重視は保ち易い fact11: 「この安全重視は幅広い」ということは事実だ fact12: もし仮にこの安全重視が編集するならあの櫛形鉱は燃ゆ fact13: 「もし仮にあの尾花が貢租制度であるとすればこの概算保険料は幅広い」ということは真実だ fact14: この概算保険料は燃ゆ fact15: この安全重視が幅広いとするとこの概算保険料は編集する fact16: この安全重視は燃ゆ
fact13 & fact8 -> int1: この概算保険料は幅広い; int1 & fact4 -> int2: この安全重視は編集する; int2 & fact12 -> int3: あの櫛形鉱は燃ゆ; int3 & fact1 -> hypothesis;
$facts$ = fact1: もし仮にあの櫛形鉱は燃ゆとすると「あの長腕は保ち易い」ということは正しい fact2: あの長腕は燃ゆ fact3: この概算保険料は貢租制度だ fact4: この概算保険料が幅広いとしたらこの安全重視は編集する fact5: もしもあの長腕が燃ゆとしたらあの櫛形鉱は保ち易い fact6: 「あの尾花は保ち易い」ということは成り立つ fact7: あの尾花は迷信深い fact8: あの尾花は貢租制度だ fact9: この安全重視は高齢者世帯である fact10: この安全重視は保ち易い fact11: 「この安全重視は幅広い」ということは事実だ fact12: もし仮にこの安全重視が編集するならあの櫛形鉱は燃ゆ fact13: 「もし仮にあの尾花が貢租制度であるとすればこの概算保険料は幅広い」ということは真実だ fact14: この概算保険料は燃ゆ fact15: この安全重視が幅広いとするとこの概算保険料は編集する fact16: この安全重視は燃ゆ ; $hypothesis$ = あの長腕は保ち易い ; $proof$ = 
fact13 & fact8 -> int1: この概算保険料は幅広い; int1 & fact4 -> int2: この安全重視は編集する; int2 & fact12 -> int3: あの櫛形鉱は燃ゆ; int3 & fact1 -> hypothesis; __PROVED__
事実1: もし仮にあの櫛形鉱は燃ゆとすると「あの長腕は保ち易い」ということは正しい
事実2: あの長腕は燃ゆ
事実3: この概算保険料は貢租制度だ
事実4: この概算保険料が幅広いとしたらこの安全重視は編集する
事実5: もしもあの長腕が燃ゆとしたらあの櫛形鉱は保ち易い
事実6: 「あの尾花は保ち易い」ということは成り立つ
事実7: あの尾花は迷信深い
事実8: あの尾花は貢租制度だ
事実9: この安全重視は高齢者世帯である
事実10: この安全重視は保ち易い
事実11: 「この安全重視は幅広い」ということは事実だ
事実12: もし仮にこの安全重視が編集するならあの櫛形鉱は燃ゆ
事実13: 「もし仮にあの尾花が貢租制度であるとすればこの概算保険料は幅広い」ということは真実だ
事実14: この概算保険料は燃ゆ
事実15: この安全重視が幅広いとするとこの概算保険料は編集する
事実16: この安全重視は燃ゆ

仮説: あの長腕は保ち易い
1. 事実13と事実8から、推論1: "この概算保険料は幅広い"が導かれる
2. 推論1と事実4から、推論2: "この安全重視は編集する"が導かれる
3. 推論2と事実12から、推論3: "あの櫛形鉱は燃ゆ"が導かれる
4. 推論3と事実1から、仮説が導かれる

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