あの五号墳は歌い上げるしかつ貧しい
fact1: その連邦政府は与え難いがしかしそれは鑿岩機でない fact2: あるものは改築するか鑿岩機であるかまたは両方である fact3: 仮にあの医学教育は手水だということはないけれど遣り難いとすると「その連邦政府は遣り難くない」ということは間違っていない fact4: あの五号墳はスライディングするしかつ心配し過ぎる fact5: その商事は若い fact6: 仮にそのクッキングハウスが与え難いとしたらその商事は与え難い fact7: もしもなんらかの物が改築すれば手水でないけれど遣り難い fact8: あの中日間は報いる fact9: 仮にその商事が与え難いけどそれが改築しないとするとあの医学教育は改築する fact10: もしもその連邦政府が与え難い一方で鑿岩機でないとするとあの五号墳は手水である fact11: もしも「歌い上げるかまたは遣り難い」物があればその連邦政府は与え難い fact12: もしもこの失敗事例が鑿岩機でなくてそれが与え難くないとするとそのクッキングハウスは与え難い fact13: あの五号墳は与え難いかあるいは歌い上げるかあるいは両方である fact14: 「なんらかのものは遣り難いかもしくはそれは改築するかまたは両方ともだ」ということは正しいならあの五号墳は歌い上げる fact15: そのトーションバー式サスペンションは改築しない fact16: 「手水は貧しい」ということは成り立つ fact17: 「その連邦政府は貧しいかもしくは鑿岩機であるかあるいはどちらもである」ということは確かだ fact18: 「その五階建ては弾き出す」ということは成り立つ fact19: その連邦政府は与え難くてそれは貧しい fact20: あの中日間は与え難い fact21: あの中日間は遣り難いかもしくは改築するか両方である fact22: もしとある物が与え難いかもしくは手水であるか両方ともであるとすればあの五号墳は鑿岩機だ fact23: もしその商事が若いとすると忘れっぽい fact24: 仮にこの失敗事例が難いなら鑿岩機だということはなくて加えて与え難いということはない fact25: その商事は忘れっぽいとしたら「改築するということはない」ということは事実と異ならない
fact21 -> int1: 「遣り難いかあるいは改築する」ものはある; int1 & fact14 -> int2: あの五号墳は歌い上げる; fact1 & fact10 -> int3: あの五号墳は手水である; fact16 -> int4: もし仮にあの五号墳は手水であるとすれば貧しい; int3 & int4 -> int5: あの五号墳は貧しい; int2 & int5 -> hypothesis;
fact21 -> int1: (Ex): ({A}x v {B}x); int1 & fact14 -> int2: {C}{a}; fact1 & fact10 -> int3: {E}{a}; fact16 -> int4: {E}{a} -> {D}{a}; int3 & int4 -> int5: {D}{a}; int2 & int5 -> hypothesis;
「あの五号墳は歌い上げるししかも貧しい」ということは確かでない
fact27 -> int6: あの医学教育が改築するとしたら手水でなくてそれにそれは遣り難い; fact30 & fact34 -> int7: その商事は忘れっぽい; fact33 & int7 -> int8: その商事は改築しない;
$facts$ = fact1: その連邦政府は与え難いがしかしそれは鑿岩機でない fact2: あるものは改築するか鑿岩機であるかまたは両方である fact3: 仮にあの医学教育は手水だということはないけれど遣り難いとすると「その連邦政府は遣り難くない」ということは間違っていない fact4: あの五号墳はスライディングするしかつ心配し過ぎる fact5: その商事は若い fact6: 仮にそのクッキングハウスが与え難いとしたらその商事は与え難い fact7: もしもなんらかの物が改築すれば手水でないけれど遣り難い fact8: あの中日間は報いる fact9: 仮にその商事が与え難いけどそれが改築しないとするとあの医学教育は改築する fact10: もしもその連邦政府が与え難い一方で鑿岩機でないとするとあの五号墳は手水である fact11: もしも「歌い上げるかまたは遣り難い」物があればその連邦政府は与え難い fact12: もしもこの失敗事例が鑿岩機でなくてそれが与え難くないとするとそのクッキングハウスは与え難い fact13: あの五号墳は与え難いかあるいは歌い上げるかあるいは両方である fact14: 「なんらかのものは遣り難いかもしくはそれは改築するかまたは両方ともだ」ということは正しいならあの五号墳は歌い上げる fact15: そのトーションバー式サスペンションは改築しない fact16: 「手水は貧しい」ということは成り立つ fact17: 「その連邦政府は貧しいかもしくは鑿岩機であるかあるいはどちらもである」ということは確かだ fact18: 「その五階建ては弾き出す」ということは成り立つ fact19: その連邦政府は与え難くてそれは貧しい fact20: あの中日間は与え難い fact21: あの中日間は遣り難いかもしくは改築するか両方である fact22: もしとある物が与え難いかもしくは手水であるか両方ともであるとすればあの五号墳は鑿岩機だ fact23: もしその商事が若いとすると忘れっぽい fact24: 仮にこの失敗事例が難いなら鑿岩機だということはなくて加えて与え難いということはない fact25: その商事は忘れっぽいとしたら「改築するということはない」ということは事実と異ならない ; $hypothesis$ = あの五号墳は歌い上げるしかつ貧しい ; $proof$ = 
fact21 -> int1: 「遣り難いかあるいは改築する」ものはある; int1 & fact14 -> int2: あの五号墳は歌い上げる; fact1 & fact10 -> int3: あの五号墳は手水である; fact16 -> int4: もし仮にあの五号墳は手水であるとすれば貧しい; int3 & int4 -> int5: あの五号墳は貧しい; int2 & int5 -> hypothesis; __PROVED__
事実1: その連邦政府は与え難いがしかしそれは鑿岩機でない
事実2: あるものは改築するか鑿岩機であるかまたは両方である
事実3: 仮にあの医学教育は手水だということはないけれど遣り難いとすると「その連邦政府は遣り難くない」ということは間違っていない
事実4: あの五号墳はスライディングするしかつ心配し過ぎる
事実5: その商事は若い
事実6: 仮にそのクッキングハウスが与え難いとしたらその商事は与え難い
事実7: もしもなんらかの物が改築すれば手水でないけれど遣り難い
事実8: あの中日間は報いる
事実9: 仮にその商事が与え難いけどそれが改築しないとするとあの医学教育は改築する
事実10: もしもその連邦政府が与え難い一方で鑿岩機でないとするとあの五号墳は手水である
事実11: もしも「歌い上げるかまたは遣り難い」物があればその連邦政府は与え難い
事実12: もしもこの失敗事例が鑿岩機でなくてそれが与え難くないとするとそのクッキングハウスは与え難い
事実13: あの五号墳は与え難いかあるいは歌い上げるかあるいは両方である
事実14: 「なんらかのものは遣り難いかもしくはそれは改築するかまたは両方ともだ」ということは正しいならあの五号墳は歌い上げる
事実15: そのトーションバー式サスペンションは改築しない
事実16: 「手水は貧しい」ということは成り立つ
事実17: 「その連邦政府は貧しいかもしくは鑿岩機であるかあるいはどちらもである」ということは確かだ
事実18: 「その五階建ては弾き出す」ということは成り立つ
事実19: その連邦政府は与え難くてそれは貧しい
事実20: あの中日間は与え難い
事実21: あの中日間は遣り難いかもしくは改築するか両方である
事実22: もしとある物が与え難いかもしくは手水であるか両方ともであるとすればあの五号墳は鑿岩機だ
事実23: もしその商事が若いとすると忘れっぽい
事実24: 仮にこの失敗事例が難いなら鑿岩機だということはなくて加えて与え難いということはない
事実25: その商事は忘れっぽいとしたら「改築するということはない」ということは事実と異ならない

仮説: あの五号墳は歌い上げるしかつ貧しい
1. 事実21から、推論1: "「遣り難いかあるいは改築する」ものはある"が導かれる
2. 推論1と事実14から、推論2: "あの五号墳は歌い上げる"が導かれる
3. 事実1と事実10から、推論3: "あの五号墳は手水である"が導かれる
4. 事実16から、推論4: "もし仮にあの五号墳は手水であるとすれば貧しい"が導かれる
5. 推論3と推論4から、推論5: "あの五号墳は貧しい"が導かれる
6. 推論2と推論5から、仮説が導かれる

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