あのカラープリントは受け入れられ易い
fact1: 仕事らしくないものは小腸でないがしかしなぞる fact2: なんらかの物は盗み食いであるということはないとするとそれは受け入れられ易い fact3: もし小腸がなぞるとしたらあのダウンウオッシュは御次である fact4: 救い難くないものは盗み食いであるか受け入れられ易いかもしくは両方だ fact5: 「あのカラープリントは持ち家率であるしその上施す」ということは誤りだ fact6: もしもこの脱穀機はエネルギー密度であるかあるいは仕事らしくないかもしくは両方であるとしたら仕事らしくない fact7: この燐除去は妥結しないけれどそれは通行手形だ fact8: あの変化等は受け入れられ易い fact9: もし仮にこの脱穀機が妥結すれば小腸だ fact10: もし仮にこの燐除去が通行手形であるということはなくて加えてエネルギー密度でないならこの脱穀機は通行手形でない fact11: もし「あのカラープリントは持ち家率だ」ということは成り立つとしたらそれは盗み食いでない fact12: もしも「あのカラープリントは持ち家率でないがしかし施す」ということは成り立つということはないとすればそれは盗み食いでない fact13: もし何らかのものが通行手形でないならばなぞるしそれは仕事らしい fact14: この脱穀機がなぞるならあのダウンウオッシュは救い難くないけど御次である fact15: 仮にあのカラープリントが救い難いが盗み食いでないとするとこの信用力は受け入れられ易い fact16: この燐除去はエネルギー密度でない fact17: 「あのカラープリントは持ち家率でないがしかしそれは施す」ということは嘘である fact18: もしもこの燐除去が通行手形であるとすればこの脱穀機はエネルギー密度であるかあるいは仕事らしくないか両方だ
fact12 & fact17 -> int1: あのカラープリントは盗み食いでない; fact2 -> int2: 「仮にあのカラープリントが盗み食いでないとすればあのカラープリントは受け入れられ易い」ということは真実である; int1 & int2 -> hypothesis;
この信用力は受け入れられ易い
fact20 -> int3: もし仮にこの脱穀機が通行手形でないとするとなぞるし仕事らしい;
$facts$ = fact1: 仕事らしくないものは小腸でないがしかしなぞる fact2: なんらかの物は盗み食いであるということはないとするとそれは受け入れられ易い fact3: もし小腸がなぞるとしたらあのダウンウオッシュは御次である fact4: 救い難くないものは盗み食いであるか受け入れられ易いかもしくは両方だ fact5: 「あのカラープリントは持ち家率であるしその上施す」ということは誤りだ fact6: もしもこの脱穀機はエネルギー密度であるかあるいは仕事らしくないかもしくは両方であるとしたら仕事らしくない fact7: この燐除去は妥結しないけれどそれは通行手形だ fact8: あの変化等は受け入れられ易い fact9: もし仮にこの脱穀機が妥結すれば小腸だ fact10: もし仮にこの燐除去が通行手形であるということはなくて加えてエネルギー密度でないならこの脱穀機は通行手形でない fact11: もし「あのカラープリントは持ち家率だ」ということは成り立つとしたらそれは盗み食いでない fact12: もしも「あのカラープリントは持ち家率でないがしかし施す」ということは成り立つということはないとすればそれは盗み食いでない fact13: もし何らかのものが通行手形でないならばなぞるしそれは仕事らしい fact14: この脱穀機がなぞるならあのダウンウオッシュは救い難くないけど御次である fact15: 仮にあのカラープリントが救い難いが盗み食いでないとするとこの信用力は受け入れられ易い fact16: この燐除去はエネルギー密度でない fact17: 「あのカラープリントは持ち家率でないがしかしそれは施す」ということは嘘である fact18: もしもこの燐除去が通行手形であるとすればこの脱穀機はエネルギー密度であるかあるいは仕事らしくないか両方だ ; $hypothesis$ = あのカラープリントは受け入れられ易い ; $proof$ = 
fact12 & fact17 -> int1: あのカラープリントは盗み食いでない; fact2 -> int2: 「仮にあのカラープリントが盗み食いでないとすればあのカラープリントは受け入れられ易い」ということは真実である; int1 & int2 -> hypothesis; __PROVED__
事実1: 仕事らしくないものは小腸でないがしかしなぞる
事実2: なんらかの物は盗み食いであるということはないとするとそれは受け入れられ易い
事実3: もし小腸がなぞるとしたらあのダウンウオッシュは御次である
事実4: 救い難くないものは盗み食いであるか受け入れられ易いかもしくは両方だ
事実5: 「あのカラープリントは持ち家率であるしその上施す」ということは誤りだ
事実6: もしもこの脱穀機はエネルギー密度であるかあるいは仕事らしくないかもしくは両方であるとしたら仕事らしくない
事実7: この燐除去は妥結しないけれどそれは通行手形だ
事実8: あの変化等は受け入れられ易い
事実9: もし仮にこの脱穀機が妥結すれば小腸だ
事実10: もし仮にこの燐除去が通行手形であるということはなくて加えてエネルギー密度でないならこの脱穀機は通行手形でない
事実11: もし「あのカラープリントは持ち家率だ」ということは成り立つとしたらそれは盗み食いでない
事実12: もしも「あのカラープリントは持ち家率でないがしかし施す」ということは成り立つということはないとすればそれは盗み食いでない
事実13: もし何らかのものが通行手形でないならばなぞるしそれは仕事らしい
事実14: この脱穀機がなぞるならあのダウンウオッシュは救い難くないけど御次である
事実15: 仮にあのカラープリントが救い難いが盗み食いでないとするとこの信用力は受け入れられ易い
事実16: この燐除去はエネルギー密度でない
事実17: 「あのカラープリントは持ち家率でないがしかしそれは施す」ということは嘘である
事実18: もしもこの燐除去が通行手形であるとすればこの脱穀機はエネルギー密度であるかあるいは仕事らしくないか両方だ

仮説: あのカラープリントは受け入れられ易い
1. 事実12と事実17から、推論1: "あのカラープリントは盗み食いでない"が導かれる
2. 事実2から、推論2: "「仮にあのカラープリントが盗み食いでないとすればあのカラープリントは受け入れられ易い」ということは真実である"が導かれる
3. 推論1と推論2から、仮説が導かれる

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