この宣伝使は掛かり難い
fact1: この胴長短足がけたたましいとすればあの家電は仕入れる fact2: 仮になにがしかのものが仕入れるけれどそれが思わしくないとしたら掛かり難い fact3: もしもこの胴長短足が仕入れるならばあの宣伝使は仕入れるがしかしけたたましくない fact4: 「この胴長短足はけたたましい」ということは成り立つ fact5: もしこの宣伝使が思わしいとすればその家電は思わしいが仕入れない fact6: もし仮にこの胴長短足がけたたましくないとするとこの宣伝使は掛かり難くない fact7: もし「その家電は仕入れる」ということは事実であるとすればこの宣伝使は仕入れるけれど思わしくない fact8: この宣伝使は良い
fact1 & fact4 -> int1: その家電は仕入れる; int1 & fact7 -> int2: この宣伝使は仕入れるがしかし思わしくない; fact2 -> int3: 仮にこの宣伝使が仕入れるがしかしそれが思わしくないならそれは掛かり難い; int2 & int3 -> hypothesis;
fact1 & fact4 -> int1: {B}{b}; int1 & fact7 -> int2: ({B}{c} & ¬{C}{c}); fact2 -> int3: ({B}{c} & ¬{C}{c}) -> {D}{c}; int2 & int3 -> hypothesis;
この宣伝使は掛かり難くない
$facts$ = fact1: この胴長短足がけたたましいとすればあの家電は仕入れる fact2: 仮になにがしかのものが仕入れるけれどそれが思わしくないとしたら掛かり難い fact3: もしもこの胴長短足が仕入れるならばあの宣伝使は仕入れるがしかしけたたましくない fact4: 「この胴長短足はけたたましい」ということは成り立つ fact5: もしこの宣伝使が思わしいとすればその家電は思わしいが仕入れない fact6: もし仮にこの胴長短足がけたたましくないとするとこの宣伝使は掛かり難くない fact7: もし「その家電は仕入れる」ということは事実であるとすればこの宣伝使は仕入れるけれど思わしくない fact8: この宣伝使は良い ; $hypothesis$ = この宣伝使は掛かり難い ; $proof$ = 
fact1 & fact4 -> int1: その家電は仕入れる; int1 & fact7 -> int2: この宣伝使は仕入れるがしかし思わしくない; fact2 -> int3: 仮にこの宣伝使が仕入れるがしかしそれが思わしくないならそれは掛かり難い; int2 & int3 -> hypothesis; __PROVED__
事実1: この胴長短足がけたたましいとすればあの家電は仕入れる
事実2: 仮になにがしかのものが仕入れるけれどそれが思わしくないとしたら掛かり難い
事実3: もしもこの胴長短足が仕入れるならばあの宣伝使は仕入れるがしかしけたたましくない
事実4: 「この胴長短足はけたたましい」ということは成り立つ
事実5: もしこの宣伝使が思わしいとすればその家電は思わしいが仕入れない
事実6: もし仮にこの胴長短足がけたたましくないとするとこの宣伝使は掛かり難くない
事実7: もし「その家電は仕入れる」ということは事実であるとすればこの宣伝使は仕入れるけれど思わしくない
事実8: この宣伝使は良い

仮説: この宣伝使は掛かり難い
1. 事実1と事実4から、推論1: "その家電は仕入れる"が導かれる
2. 推論1と事実7から、推論2: "この宣伝使は仕入れるがしかし思わしくない"が導かれる
3. 事実2から、推論3: "仮にこの宣伝使が仕入れるがしかしそれが思わしくないならそれは掛かり難い"が導かれる
4. 推論2と推論3から、仮説が導かれる

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