なにかは猛反発するしさらに難い
fact1: 全ての物は仲違いする fact2: 全てのものは群生するし食べれる fact3: あの二歳馬は修正するし提訴する fact4: あの二歳馬は生まれ付くしさらに鋭い fact5: 全ては意味深い fact6: それは猛反発するしそれに食い慣れるということはないという物はない fact7: すべてのものは仲違いするしむず痒い fact8: あの二歳馬は猛反発する fact9: 仮にあの二歳馬が溜まり易いならそれは仮託する fact10: 「間違い無い」物はある fact11: あらゆる物は恨めしい fact12: あの二歳馬がむず痒いとすれば難い
fact7 -> int1: あの二歳馬は仲違いするしそれはむず痒い; int1 -> int2: あの二歳馬はむず痒い; int2 & fact12 -> int3: 「あの二歳馬は難い」ということは誤りでない; int3 & fact8 -> int4: あの二歳馬は猛反発するしそれは難い; int4 -> hypothesis;
「この二箇月以上はむず痒い」ということは本当である
fact13 -> int5: 「この大柑子は猛反発するがしかし食い慣れない」ということは間違いだ;
$facts$ = fact1: 全ての物は仲違いする fact2: 全てのものは群生するし食べれる fact3: あの二歳馬は修正するし提訴する fact4: あの二歳馬は生まれ付くしさらに鋭い fact5: 全ては意味深い fact6: それは猛反発するしそれに食い慣れるということはないという物はない fact7: すべてのものは仲違いするしむず痒い fact8: あの二歳馬は猛反発する fact9: 仮にあの二歳馬が溜まり易いならそれは仮託する fact10: 「間違い無い」物はある fact11: あらゆる物は恨めしい fact12: あの二歳馬がむず痒いとすれば難い ; $hypothesis$ = なにかは猛反発するしさらに難い ; $proof$ = 
fact7 -> int1: あの二歳馬は仲違いするしそれはむず痒い; int1 -> int2: あの二歳馬はむず痒い; int2 & fact12 -> int3: 「あの二歳馬は難い」ということは誤りでない; int3 & fact8 -> int4: あの二歳馬は猛反発するしそれは難い; int4 -> hypothesis; __PROVED__
事実1: 全ての物は仲違いする
事実2: 全てのものは群生するし食べれる
事実3: あの二歳馬は修正するし提訴する
事実4: あの二歳馬は生まれ付くしさらに鋭い
事実5: 全ては意味深い
事実6: それは猛反発するしそれに食い慣れるということはないという物はない
事実7: すべてのものは仲違いするしむず痒い
事実8: あの二歳馬は猛反発する
事実9: 仮にあの二歳馬が溜まり易いならそれは仮託する
事実10: 「間違い無い」物はある
事実11: あらゆる物は恨めしい
事実12: あの二歳馬がむず痒いとすれば難い

仮説: なにかは猛反発するしさらに難い
1. 事実7から、推論1: "あの二歳馬は仲違いするしそれはむず痒い"が導かれる
2. 推論1から、推論2: "あの二歳馬はむず痒い"が導かれる
3. 推論2と事実12から、推論3: "「あの二歳馬は難い」ということは誤りでない"が導かれる
4. 推論3と事実8から、推論4: "あの二歳馬は猛反発するしそれは難い"が導かれる
5. 推論4から、仮説が導かれる

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