この余り物は窪地だ
fact1: もし「あの分離帯は総需要であるか餓鬼っぽくない」ということは誤っているなら縒れる fact2: あの分離帯は総需要でない fact3: もし仮にあの分離帯は縒れるとすると「この余り物は窪地である」ということは成り立つ fact4: 仮にその代表元が言い出し難いとするとあの右回転は言い出し難い fact5: もしこの余り物が総需要であるとするとあの分離帯は餓鬼っぽい fact6: あの分離帯が窪地でないとしたらこの余り物は窪地でない fact7: もしその編曲が分かり掛ければ揮発し易い fact8: もしも揮発し易い物が想像し易いとしたらこの自在菩薩は捕捉出来ない fact9: もしあの三色が分かり掛けるとすればあの編曲は分かり掛ける fact10: もしも「何かは長期生産計画でない」ということは成り立つとするとそれは窪地だしさらに縒れる fact11: あの右回転は言い出し難いとしたら「長期生産計画でなくてその上縒れない」ということは成り立つということはない fact12: 「あの分離帯は総需要であるか餓鬼っぽくないかあるいは両方である」ということは間違っている fact13: 「その編曲は想像し易い」ということは誤っていない fact14: 仮に「あの分離帯は餓鬼っぽいかあるいは縒れない」ということは偽ならそれは窪地だ fact15: 仮に「あの三色は図々しいが青臭くない」ということは成り立つということはないとすればそれは分かり掛ける fact16: 仮に「この共鳴効果は窪地であるかそれは立ちはだからない」ということは成り立たないとすればそれはに対して見る fact17: あの分離帯は隠る fact18: 「「あの三色は図々しい一方で青臭くない」ということは成り立たない」ということは成り立つ fact19: もしもこの余り物が餓鬼っぽいとしたらあの分離帯は窪地だ
fact1 & fact12 -> int1: あの分離帯は縒れる; int1 & fact3 -> hypothesis;
fact1 & fact12 -> int1: {B}{a}; int1 & fact3 -> hypothesis;
あの右回転は餓鬼っぽい
fact20 -> int2: もし仮にあの分離帯が長期生産計画でないとすれば窪地であるしさらに縒れる;
$facts$ = fact1: もし「あの分離帯は総需要であるか餓鬼っぽくない」ということは誤っているなら縒れる fact2: あの分離帯は総需要でない fact3: もし仮にあの分離帯は縒れるとすると「この余り物は窪地である」ということは成り立つ fact4: 仮にその代表元が言い出し難いとするとあの右回転は言い出し難い fact5: もしこの余り物が総需要であるとするとあの分離帯は餓鬼っぽい fact6: あの分離帯が窪地でないとしたらこの余り物は窪地でない fact7: もしその編曲が分かり掛ければ揮発し易い fact8: もしも揮発し易い物が想像し易いとしたらこの自在菩薩は捕捉出来ない fact9: もしあの三色が分かり掛けるとすればあの編曲は分かり掛ける fact10: もしも「何かは長期生産計画でない」ということは成り立つとするとそれは窪地だしさらに縒れる fact11: あの右回転は言い出し難いとしたら「長期生産計画でなくてその上縒れない」ということは成り立つということはない fact12: 「あの分離帯は総需要であるか餓鬼っぽくないかあるいは両方である」ということは間違っている fact13: 「その編曲は想像し易い」ということは誤っていない fact14: 仮に「あの分離帯は餓鬼っぽいかあるいは縒れない」ということは偽ならそれは窪地だ fact15: 仮に「あの三色は図々しいが青臭くない」ということは成り立つということはないとすればそれは分かり掛ける fact16: 仮に「この共鳴効果は窪地であるかそれは立ちはだからない」ということは成り立たないとすればそれはに対して見る fact17: あの分離帯は隠る fact18: 「「あの三色は図々しい一方で青臭くない」ということは成り立たない」ということは成り立つ fact19: もしもこの余り物が餓鬼っぽいとしたらあの分離帯は窪地だ ; $hypothesis$ = この余り物は窪地だ ; $proof$ = 
fact1 & fact12 -> int1: あの分離帯は縒れる; int1 & fact3 -> hypothesis; __PROVED__
事実1: もし「あの分離帯は総需要であるか餓鬼っぽくない」ということは誤っているなら縒れる
事実2: あの分離帯は総需要でない
事実3: もし仮にあの分離帯は縒れるとすると「この余り物は窪地である」ということは成り立つ
事実4: 仮にその代表元が言い出し難いとするとあの右回転は言い出し難い
事実5: もしこの余り物が総需要であるとするとあの分離帯は餓鬼っぽい
事実6: あの分離帯が窪地でないとしたらこの余り物は窪地でない
事実7: もしその編曲が分かり掛ければ揮発し易い
事実8: もしも揮発し易い物が想像し易いとしたらこの自在菩薩は捕捉出来ない
事実9: もしあの三色が分かり掛けるとすればあの編曲は分かり掛ける
事実10: もしも「何かは長期生産計画でない」ということは成り立つとするとそれは窪地だしさらに縒れる
事実11: あの右回転は言い出し難いとしたら「長期生産計画でなくてその上縒れない」ということは成り立つということはない
事実12: 「あの分離帯は総需要であるか餓鬼っぽくないかあるいは両方である」ということは間違っている
事実13: 「その編曲は想像し易い」ということは誤っていない
事実14: 仮に「あの分離帯は餓鬼っぽいかあるいは縒れない」ということは偽ならそれは窪地だ
事実15: 仮に「あの三色は図々しいが青臭くない」ということは成り立つということはないとすればそれは分かり掛ける
事実16: 仮に「この共鳴効果は窪地であるかそれは立ちはだからない」ということは成り立たないとすればそれはに対して見る
事実17: あの分離帯は隠る
事実18: 「「あの三色は図々しい一方で青臭くない」ということは成り立たない」ということは成り立つ
事実19: もしもこの余り物が餓鬼っぽいとしたらあの分離帯は窪地だ

仮説: この余り物は窪地だ
1. 事実1と事実12から、推論1: "あの分離帯は縒れる"が導かれる
2. 推論1と事実3から、仮説が導かれる

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