「この内縁関係は法定相続だ」ということは誤りでない
fact1: 仮にこの内縁関係は来し易いとしたら「それはまぶいである」ということは真実である fact2: この弾圧は沙門だ fact3: 「あのパッキングは広い」ということは成り立つ fact4: もし仮にあの公共問題は越せないとすれば「そのリクワイアー文は勢力地図でないけれど珍しい」ということは成り立たない fact5: あのパッキングは来し易い fact6: どれもこれもは雛壇でない fact7: もし仮に「「越せるししかもアルコール性痴呆である」ということは偽である」ものはあれば「あの公共問題は越せない」ということは正しい fact8: もし仮にこの内縁関係が法定相続だとすると来し易い fact9: 「沙門は法定相続である」ということは事実だ fact10: 仮に何かは雛壇でないとすると「越せるしそれにアルコール性痴呆だ」ということは成り立たない fact11: 「広い」ものはある fact12: 仮にそのリクワイアー文が生産・製造でないならあのパッキングは釈であるかまたは沙門でないか両方ともである fact13: 「「来し易い」ということは間違いでない」物はある fact14: もしもなにがしかの物が床しいとしたらそれは御注意下さる fact15: 「鬱陶しくてそれに浮かれる」物はある fact16: あのパッキングが広いとすればそれは法定相続である fact17: そのリクワイアー文は面倒臭いしまた記載だ fact18: あのデュークス分類は法定相続だ fact19: もし仮に「ある物は勢力地図でない一方で珍しい」ということは間違いであるとすればそれは生産・製造でない fact20: この幻聴は広い fact21: あのパッキングは気恥ずかしいししかも仕事らしい fact22: もし仮に「来し易くてさらに広い」物があるならこの内縁関係は沙門である fact23: もしなんらかの物が釈であるかもしくはそれは沙門でないかあるいはどちらもであるとしたら沙門でない
fact5 & fact3 -> int1: あのパッキングは来し易くてまた広い; int1 -> int2: 「来し易くて広い」ものはある; int2 & fact22 -> int3: この内縁関係は沙門だ; fact9 -> int4: もしもこの内縁関係は沙門であるならばそれは法定相続である; int3 & int4 -> hypothesis;
この内縁関係は法定相続でない
fact30 -> int5: もし仮にあのパッキングが釈であるかあるいは沙門でないとするとそれは沙門でない; fact24 -> int6: 「そのリクワイアー文は勢力地図でないけど珍しい」ということは事実と異なるなら生産・製造でない; fact28 -> int7: この一内容は雛壇でない; fact27 -> int8: もしもこの一内容は雛壇でないとすれば「越せるしアルコール性痴呆である」ということは成り立たない; int7 & int8 -> int9: 「「この一内容は越せるし更にそれはアルコール性痴呆だ」ということは成り立たない」ということは成り立つ; int9 -> int10: それは越せるしそれはアルコール性痴呆であるというものはない; int10 -> int11: 「この事業基本方針は越せるしかつアルコール性痴呆である」ということは誤っている; int11 -> int12: 「「越せるし加えてアルコール性痴呆である」ということは誤っている」ものはある; fact25 & int12 -> int13: あの公共問題は越せない; fact26 & int13 -> int14: 「そのリクワイアー文は勢力地図でない一方で珍しい」ということは本当でない; int6 & int14 -> int15: そのリクワイアー文は生産・製造でない; int15 & fact29 -> int16: あのパッキングは釈であるかまたは沙門でないかもしくは両方ともだ; int5 & int16 -> int17: あのパッキングは沙門でない;
$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$ = 
fact5 & fact3 -> int1: あのパッキングは来し易くてまた広い; int1 -> int2: 「来し易くて広い」ものはある; int2 & fact22 -> int3: この内縁関係は沙門だ; fact9 -> int4: もしもこの内縁関係は沙門であるならばそれは法定相続である; int3 & int4 -> 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. 事実5と事実3から、推論1: "あのパッキングは来し易くてまた広い"が導かれる
2. 推論1から、推論2: "「来し易くて広い」ものはある"が導かれる
3. 推論2と事実22から、推論3: "この内縁関係は沙門だ"が導かれる
4. 事実9から、推論4: "もしもこの内縁関係は沙門であるならばそれは法定相続である"が導かれる
5. 推論3と推論4から、仮説が導かれる

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