そのレディーは汚れ易い
fact1: もし仮にあの有害物が汚れ易くないならばそのレディーはマフィアでないが観察し易い fact2: もしこの普選運動が悶え狂わないがしかし相伴うとしたらその浩瀚は悶え狂わない fact3: 「この普選運動は不味い」ということは嘘である fact4: もしあの三足烏がマフィアでないならばそのレディーは汚れ易い fact5: もしも「「あの米国家政学会は相伴わないがしかしそれは点だ」ということは真実である」ということは偽だとすればあの普選運動は相伴う fact6: 仮に「なにがしかのものは気絶しない」ということは真実であるとすれば深いかまたは解し難いということはない fact7: もしこの普選運動は不味くないならば「それは悶え狂うし救済活動である」ということは誤っている fact8: もしそのレディーは設立者・寄付者であるならあの三足烏はだらだらしないかあるいは去来しないかあるいは両方である fact9: 仮に「とあるものは悶え狂うしさらに救済活動である」ということは嘘であるとすれば悶え狂うということはない fact10: 「その浩瀚は学校名であるが組み直さない」ということは嘘だとするとあのアイスキャンデーは気絶しない fact11: 「設立者・寄付者でないかあるいは観察し易くないかあるいはどちらもな」ものはある fact12: もしとあるものは悶え狂わないとすると「学校名であるけれど組み直さない」ということは成り立たない fact13: 仮に「「設立者・寄付者でないかあるいは観察し易くないかあるいは両方ともだ」ということは成り立つ」ものがあるとするとあの三足烏はマフィアでない fact14: 「「あの米国家政学会は相伴わないけれど点だ」ということは成り立つ」ということは成り立つということはない fact15: もしあるものはマフィアでないけど観察し易いとすると設立者・寄付者だ
fact11 & fact13 -> int1: あの三足烏はマフィアでない; int1 & fact4 -> hypothesis;
なにがしかの物はだらだらしないかまたは去来しないかもしくは両方だ
fact23 -> int2: そのレディーはマフィアでないけど観察し易いとするとそれは設立者・寄付者である; fact21 -> int3: 仮にあのアイスキャンデーが気絶しないならば深いか解し難くない; fact16 -> int4: もしもその浩瀚は悶え狂わないとしたら「それは学校名である一方で組み直さない」ということは成り立たない; fact19 -> int5: もしも「この普選運動が悶え狂うしその上それは救済活動だ」ということは偽だとするとそれは悶え狂わない; fact25 & fact17 -> int6: 「この普選運動が悶え狂うしその上救済活動だ」ということは偽である; int5 & int6 -> int7: この普選運動は悶え狂わない; fact26 & fact22 -> int8: この普選運動は相伴う; int7 & int8 -> int9: 「この普選運動は悶え狂わないけれど相伴う」ということは成り立つ; fact27 & int9 -> int10: その浩瀚は悶え狂わない; int4 & int10 -> int11: 「その浩瀚は学校名だけど組み直さない」ということは偽である; fact24 & int11 -> int12: あのアイスキャンデーは気絶しない; int3 & int12 -> int13: あのアイスキャンデーは深いかまたは解し難くないかあるいは両方である;
$facts$ = fact1: もし仮にあの有害物が汚れ易くないならばそのレディーはマフィアでないが観察し易い fact2: もしこの普選運動が悶え狂わないがしかし相伴うとしたらその浩瀚は悶え狂わない fact3: 「この普選運動は不味い」ということは嘘である fact4: もしあの三足烏がマフィアでないならばそのレディーは汚れ易い fact5: もしも「「あの米国家政学会は相伴わないがしかしそれは点だ」ということは真実である」ということは偽だとすればあの普選運動は相伴う fact6: 仮に「なにがしかのものは気絶しない」ということは真実であるとすれば深いかまたは解し難いということはない fact7: もしこの普選運動は不味くないならば「それは悶え狂うし救済活動である」ということは誤っている fact8: もしそのレディーは設立者・寄付者であるならあの三足烏はだらだらしないかあるいは去来しないかあるいは両方である fact9: 仮に「とあるものは悶え狂うしさらに救済活動である」ということは嘘であるとすれば悶え狂うということはない fact10: 「その浩瀚は学校名であるが組み直さない」ということは嘘だとするとあのアイスキャンデーは気絶しない fact11: 「設立者・寄付者でないかあるいは観察し易くないかあるいはどちらもな」ものはある fact12: もしとあるものは悶え狂わないとすると「学校名であるけれど組み直さない」ということは成り立たない fact13: 仮に「「設立者・寄付者でないかあるいは観察し易くないかあるいは両方ともだ」ということは成り立つ」ものがあるとするとあの三足烏はマフィアでない fact14: 「「あの米国家政学会は相伴わないけれど点だ」ということは成り立つ」ということは成り立つということはない fact15: もしあるものはマフィアでないけど観察し易いとすると設立者・寄付者だ ; $hypothesis$ = そのレディーは汚れ易い ; $proof$ = 
fact11 & fact13 -> int1: あの三足烏はマフィアでない; int1 & fact4 -> hypothesis; __PROVED__
事実1: もし仮にあの有害物が汚れ易くないならばそのレディーはマフィアでないが観察し易い
事実2: もしこの普選運動が悶え狂わないがしかし相伴うとしたらその浩瀚は悶え狂わない
事実3: 「この普選運動は不味い」ということは嘘である
事実4: もしあの三足烏がマフィアでないならばそのレディーは汚れ易い
事実5: もしも「「あの米国家政学会は相伴わないがしかしそれは点だ」ということは真実である」ということは偽だとすればあの普選運動は相伴う
事実6: 仮に「なにがしかのものは気絶しない」ということは真実であるとすれば深いかまたは解し難いということはない
事実7: もしこの普選運動は不味くないならば「それは悶え狂うし救済活動である」ということは誤っている
事実8: もしそのレディーは設立者・寄付者であるならあの三足烏はだらだらしないかあるいは去来しないかあるいは両方である
事実9: 仮に「とあるものは悶え狂うしさらに救済活動である」ということは嘘であるとすれば悶え狂うということはない
事実10: 「その浩瀚は学校名であるが組み直さない」ということは嘘だとするとあのアイスキャンデーは気絶しない
事実11: 「設立者・寄付者でないかあるいは観察し易くないかあるいはどちらもな」ものはある
事実12: もしとあるものは悶え狂わないとすると「学校名であるけれど組み直さない」ということは成り立たない
事実13: 仮に「「設立者・寄付者でないかあるいは観察し易くないかあるいは両方ともだ」ということは成り立つ」ものがあるとするとあの三足烏はマフィアでない
事実14: 「「あの米国家政学会は相伴わないけれど点だ」ということは成り立つ」ということは成り立つということはない
事実15: もしあるものはマフィアでないけど観察し易いとすると設立者・寄付者だ

仮説: そのレディーは汚れ易い
1. 事実11と事実13から、推論1: "あの三足烏はマフィアでない"が導かれる
2. 推論1と事実4から、仮説が導かれる

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