その露台は心許なくないけどファミリー・サポート・センター事業である
fact1: もし仮に「伝え難い一方で平たくない」物があるとしたらあの塩蔵は受け入れられ易い fact2: この鋳鉄管は伝え難い fact3: とあるものは怒りっぽくないとしたら「それは見境無くない」ということは真実だ fact4: もし何らかのものは怒りっぽいということはないとすれば「見境無いかもしくはファミリー・サポート・センター事業だ」ということは偽だ fact5: もしもあの塩蔵が受け入れられ易いしおまけに怒りっぽいとしたらこの鋳鉄管は怒りっぽくない fact6: もしもこの足場蛋白質が怒りっぽいとするとそれは受け入れられ易い fact7: 仮に「この足場蛋白質は見境無いかあるいはリンクバーであるかまたはどちらもである」ということは正しくないならばこの鋳鉄管は伝え難くない fact8: あの塩蔵が見境無くないとするとこの足場蛋白質は伝え難くないがしかし平たい fact9: もし「この足場蛋白質は見境無い」ということは事実であるならばそれは心許ない fact10: もしあの塩蔵が平たくないならばその露台は心許なくないけれどファミリー・サポート・センター事業だ fact11: もし仮になんらかの物は怒りっぽくないとすると「それは見境無いかあるいはリンクバーであるかどちらもだ」ということは成り立たない fact12: もしあの塩蔵が平たくないならその露台は心許なくない fact13: その露台は心許ないということはない fact14: もしこの足場蛋白質が心許ないならその露台は怒りっぽくない fact15: もしもこの鋳鉄管は怒りっぽくないとすると「その露台は心許なくないがしかしファミリー・サポート・センター事業である」ということは成り立たない fact16: この仏閣が楽しみ事でないならあの塩蔵は怒りっぽくてそれは攻撃し易い fact17: あの塩蔵は伝え難くない fact18: この足場蛋白質は見境無くない fact19: 仮にこの足場蛋白質はリンクバーでないとしたら「それは伝え難いかまたはそれは見境無いかもしくは両方ともだ」ということは間違いである fact20: 仮にこの足場蛋白質は受け入れられ易いならば「あの塩蔵は平たくない」ということは誤っているということはない fact21: この日常着は伝え難い一方で平たくない fact22: もしとある物は受け入れられ易くないとしたら「それはファミリー・サポート・センター事業であるかまたは伝え難い」ということは嘘だ fact23: あの塩蔵はリンクバーでない
fact11 -> int1: もし仮にこの足場蛋白質は怒りっぽくないならば「それは見境無いかもしくはリンクバーである」ということは誤りである; void -> assump1: 以下のように仮定する。この足場蛋白質は怒りっぽくない; int1 & assump1 -> int2: 「この足場蛋白質は見境無いかあるいはリンクバーであるかまたは両方ともである」ということは成り立たない; int2 & fact7 -> int3: 「この鋳鉄管は伝え難くない」ということは成り立つ; int3 & fact2 -> int4: これは矛盾である; [assump1] & int4 -> int5: この足場蛋白質は怒りっぽい; int5 & fact6 -> int6: この足場蛋白質は受け入れられ易い; int6 & fact20 -> int7: あの塩蔵は平たいということはない; int7 & fact10 -> hypothesis;
「「その露台は心許なくないがしかしそれはファミリー・サポート・センター事業である」ということは誤りである」ということは成り立つ
fact25 -> int8: なにがしかのものは伝え難いけど平たくない; int8 & fact26 -> 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$ = 
fact11 -> int1: もし仮にこの足場蛋白質は怒りっぽくないならば「それは見境無いかもしくはリンクバーである」ということは誤りである; void -> assump1: 以下のように仮定する。この足場蛋白質は怒りっぽくない; int1 & assump1 -> int2: 「この足場蛋白質は見境無いかあるいはリンクバーであるかまたは両方ともである」ということは成り立たない; int2 & fact7 -> int3: 「この鋳鉄管は伝え難くない」ということは成り立つ; int3 & fact2 -> int4: これは矛盾である; [assump1] & int4 -> int5: この足場蛋白質は怒りっぽい; int5 & fact6 -> int6: この足場蛋白質は受け入れられ易い; int6 & fact20 -> int7: あの塩蔵は平たいということはない; int7 & fact10 -> 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. 事実11から、推論1: "もし仮にこの足場蛋白質は怒りっぽくないならば「それは見境無いかもしくはリンクバーである」ということは誤りである"が導かれる
2. 仮定1: 以下のように仮定する。この足場蛋白質は怒りっぽくない
3. 推論1と仮定1から、推論2: "「この足場蛋白質は見境無いかあるいはリンクバーであるかまたは両方ともである」ということは成り立たない"が導かれる
4. 推論2と事実7から、推論3: "「この鋳鉄管は伝え難くない」ということは成り立つ"が導かれる
5. 推論3と事実2から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "この足場蛋白質は怒りっぽい"が導かれる
7. 推論5と事実6から、推論6: "この足場蛋白質は受け入れられ易い"が導かれる
8. 推論6と事実20から、推論7: "あの塩蔵は平たいということはない"が導かれる
9. 推論7と事実10から、仮説が導かれる

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