このロビイストは取得し易い
fact1: 「取得し易くないしぞめかない」物があるとするとこのアドレスは物らしい fact2: とある物は切り易くなくてぞめかない fact3: 「ぞめかなくておまけに切り易くない」ものはある fact4: この人民集会は取得し易い fact5: このアドレスはぞめく fact6: もしとあるものが物らしくないしそれが取得し易くないとするとこの人民集会は切り易い fact7: このロビイストは物らしい fact8: このロビイストが切り易いならこのアドレスは切り易くなくてそれは取得し易くない fact9: このアドレスが取得し易いとしたら切り易い fact10: このロビイストは切り易いということはない fact11: 何らかのものは鮮やかさでないしそれにサッカー大使であるということはない fact12: このアドレスは孵化しない fact13: 「取得し易くない」物はある fact14: もし仮にこの人民集会がぞめくならこのアドレスはぞめかないし加えて物らしくない fact15: もしも切り易くない物が物らしくないとするとこのロビイストは取得し易い fact16: 「取得し易いししかも物らしくない」物はある fact17: このアドレスが切り易いならばこの人民集会は切り易いということはなくてそれに物らしくない fact18: もし仮にこのアドレスがぞめくなら切り易い
fact18 & fact5 -> int1: 「このアドレスは切り易い」ということは正しい; int1 & fact17 -> int2: この人民集会は切り易くなくて更に物らしくない; int2 -> int3: ある物は切り易くなくてまた物らしくない; int3 & fact15 -> hypothesis;
$facts$ = fact1: 「取得し易くないしぞめかない」物があるとするとこのアドレスは物らしい fact2: とある物は切り易くなくてぞめかない fact3: 「ぞめかなくておまけに切り易くない」ものはある fact4: この人民集会は取得し易い fact5: このアドレスはぞめく fact6: もしとあるものが物らしくないしそれが取得し易くないとするとこの人民集会は切り易い fact7: このロビイストは物らしい fact8: このロビイストが切り易いならこのアドレスは切り易くなくてそれは取得し易くない fact9: このアドレスが取得し易いとしたら切り易い fact10: このロビイストは切り易いということはない fact11: 何らかのものは鮮やかさでないしそれにサッカー大使であるということはない fact12: このアドレスは孵化しない fact13: 「取得し易くない」物はある fact14: もし仮にこの人民集会がぞめくならこのアドレスはぞめかないし加えて物らしくない fact15: もしも切り易くない物が物らしくないとするとこのロビイストは取得し易い fact16: 「取得し易いししかも物らしくない」物はある fact17: このアドレスが切り易いならばこの人民集会は切り易いということはなくてそれに物らしくない fact18: もし仮にこのアドレスがぞめくなら切り易い ; $hypothesis$ = このロビイストは取得し易い ; $proof$ = 
fact18 & fact5 -> int1: 「このアドレスは切り易い」ということは正しい; int1 & fact17 -> int2: この人民集会は切り易くなくて更に物らしくない; int2 -> int3: ある物は切り易くなくてまた物らしくない; int3 & fact15 -> hypothesis; __PROVED__
事実1: 「取得し易くないしぞめかない」物があるとするとこのアドレスは物らしい
事実2: とある物は切り易くなくてぞめかない
事実3: 「ぞめかなくておまけに切り易くない」ものはある
事実4: この人民集会は取得し易い
事実5: このアドレスはぞめく
事実6: もしとあるものが物らしくないしそれが取得し易くないとするとこの人民集会は切り易い
事実7: このロビイストは物らしい
事実8: このロビイストが切り易いならこのアドレスは切り易くなくてそれは取得し易くない
事実9: このアドレスが取得し易いとしたら切り易い
事実10: このロビイストは切り易いということはない
事実11: 何らかのものは鮮やかさでないしそれにサッカー大使であるということはない
事実12: このアドレスは孵化しない
事実13: 「取得し易くない」物はある
事実14: もし仮にこの人民集会がぞめくならこのアドレスはぞめかないし加えて物らしくない
事実15: もしも切り易くない物が物らしくないとするとこのロビイストは取得し易い
事実16: 「取得し易いししかも物らしくない」物はある
事実17: このアドレスが切り易いならばこの人民集会は切り易いということはなくてそれに物らしくない
事実18: もし仮にこのアドレスがぞめくなら切り易い

仮説: このロビイストは取得し易い
1. 事実18と事実5から、推論1: "「このアドレスは切り易い」ということは正しい"が導かれる
2. 推論1と事実17から、推論2: "この人民集会は切り易くなくて更に物らしくない"が導かれる
3. 推論2から、推論3: "ある物は切り易くなくてまた物らしくない"が導かれる
4. 推論3と事実15から、仮説が導かれる

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