この動物愛護は調和し難い
fact1: 仮にあの海運業は法令全書であるし公開するとすれば「それは限り無しない」ということは正しい fact2: あらゆるものが法令全書だしおまけに出入りし易くない fact3: もしあの莢隠元が名高くないとすればこの村上水軍は法令全書だ一方で出入りし易くない fact4: もし仮にこの村上水軍が限り無しないとしたらそれは公開しない fact5: もし「あの海運業は法令全書だが泣き始めない」ということは確かならば「この村上水軍は名高い」ということは成り立つ fact6: この村上水軍は調和し難いということはない fact7: 仮にそのドラフトが理屈っぽくないものであって泣き始めないならあの塩抜きはタイトルらしい fact8: 痛くないものは限り無しか名高いかまたは両方ともである fact9: もし仮にこの村上水軍が安心しないしさらにそれが公開しないとするとこの動物愛護はタイトルらしい fact10: この村上水軍は痛くてそれは泣き始める fact11: もし名高い物が痛いとしたらそれは限り無しない fact12: この動物愛護がタイトルらしいとしたらそれは調和し難い fact13: 「もしそのドラフトが放送しないとするとそのドラフトは理屈っぽくないしさらに泣き始めるということはない」ということは成り立つ fact14: この動物愛護が痛くないならばこの村上水軍は名高くないかあるいは出入りし易くないかあるいは両方だ fact15: この合宿地が公開するとしたらその領主層は痛くないけど安心する fact16: 仮にあの海運業が法令全書だ一方で出入りし易くないとすればこの村上水軍は名高い fact17: あの海運業は公開しないしそれは出入りし易くない fact18: 仮にこの動物愛護が限り無しがタイトルらしくないならばあの村上水軍は名高い fact19: この動物愛護は痛い fact20: 仮にあの塩抜きがタイトルらしいとするとこの合宿地は公開する fact21: もし仮にこの村上水軍が限り無しないならばそれは安心しなくてかつ公開しない fact22: もし「この村上水軍は名高くないかまたはそれは出入りし易くない」ということは正しいならあの一蛋白質は法令全書である fact23: この動物愛護は行く
fact2 -> int1: あの海運業は法令全書であるがしかし出入りし易くない; int1 & fact16 -> int2: 「この村上水軍は名高い」ということは確かである; fact10 -> int3: 「この村上水軍は痛い」ということは成り立つ; int2 & int3 -> int4: この村上水軍は名高いし痛い; fact11 -> int5: もしもこの村上水軍が名高いしまた痛いとしたらそれは限り無しない; int4 & int5 -> int6: この村上水軍は限り無しということはない; int6 & fact21 -> int7: この村上水軍は安心しないし更にそれは公開しない; int7 & fact9 -> int8: この動物愛護はタイトルらしい; int8 & fact12 -> hypothesis;
この動物愛護は調和し難くない
fact25 -> int9: もしその領主層が痛いということはないならばそれは限り無しかもしくは名高いかもしくはどちらもである;
$facts$ = fact1: 仮にあの海運業は法令全書であるし公開するとすれば「それは限り無しない」ということは正しい fact2: あらゆるものが法令全書だしおまけに出入りし易くない fact3: もしあの莢隠元が名高くないとすればこの村上水軍は法令全書だ一方で出入りし易くない fact4: もし仮にこの村上水軍が限り無しないとしたらそれは公開しない fact5: もし「あの海運業は法令全書だが泣き始めない」ということは確かならば「この村上水軍は名高い」ということは成り立つ fact6: この村上水軍は調和し難いということはない fact7: 仮にそのドラフトが理屈っぽくないものであって泣き始めないならあの塩抜きはタイトルらしい fact8: 痛くないものは限り無しか名高いかまたは両方ともである fact9: もし仮にこの村上水軍が安心しないしさらにそれが公開しないとするとこの動物愛護はタイトルらしい fact10: この村上水軍は痛くてそれは泣き始める fact11: もし名高い物が痛いとしたらそれは限り無しない fact12: この動物愛護がタイトルらしいとしたらそれは調和し難い fact13: 「もしそのドラフトが放送しないとするとそのドラフトは理屈っぽくないしさらに泣き始めるということはない」ということは成り立つ fact14: この動物愛護が痛くないならばこの村上水軍は名高くないかあるいは出入りし易くないかあるいは両方だ fact15: この合宿地が公開するとしたらその領主層は痛くないけど安心する fact16: 仮にあの海運業が法令全書だ一方で出入りし易くないとすればこの村上水軍は名高い fact17: あの海運業は公開しないしそれは出入りし易くない fact18: 仮にこの動物愛護が限り無しがタイトルらしくないならばあの村上水軍は名高い fact19: この動物愛護は痛い fact20: 仮にあの塩抜きがタイトルらしいとするとこの合宿地は公開する fact21: もし仮にこの村上水軍が限り無しないならばそれは安心しなくてかつ公開しない fact22: もし「この村上水軍は名高くないかまたはそれは出入りし易くない」ということは正しいならあの一蛋白質は法令全書である fact23: この動物愛護は行く ; $hypothesis$ = この動物愛護は調和し難い ; $proof$ = 
fact2 -> int1: あの海運業は法令全書であるがしかし出入りし易くない; int1 & fact16 -> int2: 「この村上水軍は名高い」ということは確かである; fact10 -> int3: 「この村上水軍は痛い」ということは成り立つ; int2 & int3 -> int4: この村上水軍は名高いし痛い; fact11 -> int5: もしもこの村上水軍が名高いしまた痛いとしたらそれは限り無しない; int4 & int5 -> int6: この村上水軍は限り無しということはない; int6 & fact21 -> int7: この村上水軍は安心しないし更にそれは公開しない; int7 & fact9 -> int8: この動物愛護はタイトルらしい; int8 & fact12 -> 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: この動物愛護は行く

仮説: この動物愛護は調和し難い
1. 事実2から、推論1: "あの海運業は法令全書であるがしかし出入りし易くない"が導かれる
2. 推論1と事実16から、推論2: "「この村上水軍は名高い」ということは確かである"が導かれる
3. 事実10から、推論3: "「この村上水軍は痛い」ということは成り立つ"が導かれる
4. 推論2と推論3から、推論4: "この村上水軍は名高いし痛い"が導かれる
5. 事実11から、推論5: "もしもこの村上水軍が名高いしまた痛いとしたらそれは限り無しない"が導かれる
6. 推論4と推論5から、推論6: "この村上水軍は限り無しということはない"が導かれる
7. 推論6と事実21から、推論7: "この村上水軍は安心しないし更にそれは公開しない"が導かれる
8. 推論7と事実9から、推論8: "この動物愛護はタイトルらしい"が導かれる
9. 推論8と事実12から、仮説が導かれる

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