この売り掛けは怪し
fact1: 仮にある物が見難いとするとそれはデータアクセスページでないか疎んぜない fact2: この中国最大は気忙しいかもしくは疎んずるかもしくは両方である fact3: あの容器包装リサイクル法が根強いとしたらこの中国最大は気忙しい fact4: この売り掛けは根強い fact5: もし仮に「その○○○教会はうら若くない一方で適用拡大だ」ということは誤っていればあの禅定は適用拡大だ fact6: もし仮にこの中国最大が疎んぜないならばあの売り掛けは怪し fact7: もし仮にあの禅定が適用拡大だとするとこの中国最大は見難い fact8: あの容器包装リサイクル法は根強い fact9: もしこの中国最大がデータアクセスページだということはないかまたはそれが疎んぜないかまたは両方だとするとあの容器包装リサイクル法は疎んぜない fact10: 仮になんらかの物は根強いということはないならば「それは怪しない」ということは正しい fact11: その最善は気忙しい fact12: この売り掛けは甘過ぎる fact13: 仮にこの中国最大が気忙しいかまたは疎んぜないとすればこの売り掛けは怪し
fact3 & fact8 -> int1: この中国最大は気忙しい; int1 -> int2: この中国最大は気忙しいかもしくは疎んぜないかあるいは両方だ; int2 & fact13 -> hypothesis;
「この売り掛けは怪しない」ということは本当である
fact15 -> int3: もし仮にこの売り掛けが根強くないなら怪しということはない; fact18 -> int4: この中国最大が見難いとするとそれはデータアクセスページでないかそれは疎んずるということはないかもしくはどちらもである;
$facts$ = fact1: 仮にある物が見難いとするとそれはデータアクセスページでないか疎んぜない fact2: この中国最大は気忙しいかもしくは疎んずるかもしくは両方である fact3: あの容器包装リサイクル法が根強いとしたらこの中国最大は気忙しい fact4: この売り掛けは根強い fact5: もし仮に「その○○○教会はうら若くない一方で適用拡大だ」ということは誤っていればあの禅定は適用拡大だ fact6: もし仮にこの中国最大が疎んぜないならばあの売り掛けは怪し fact7: もし仮にあの禅定が適用拡大だとするとこの中国最大は見難い fact8: あの容器包装リサイクル法は根強い fact9: もしこの中国最大がデータアクセスページだということはないかまたはそれが疎んぜないかまたは両方だとするとあの容器包装リサイクル法は疎んぜない fact10: 仮になんらかの物は根強いということはないならば「それは怪しない」ということは正しい fact11: その最善は気忙しい fact12: この売り掛けは甘過ぎる fact13: 仮にこの中国最大が気忙しいかまたは疎んぜないとすればこの売り掛けは怪し ; $hypothesis$ = この売り掛けは怪し ; $proof$ = 
fact3 & fact8 -> int1: この中国最大は気忙しい; int1 -> int2: この中国最大は気忙しいかもしくは疎んぜないかあるいは両方だ; int2 & fact13 -> hypothesis; __PROVED__
事実1: 仮にある物が見難いとするとそれはデータアクセスページでないか疎んぜない
事実2: この中国最大は気忙しいかもしくは疎んずるかもしくは両方である
事実3: あの容器包装リサイクル法が根強いとしたらこの中国最大は気忙しい
事実4: この売り掛けは根強い
事実5: もし仮に「その○○○教会はうら若くない一方で適用拡大だ」ということは誤っていればあの禅定は適用拡大だ
事実6: もし仮にこの中国最大が疎んぜないならばあの売り掛けは怪し
事実7: もし仮にあの禅定が適用拡大だとするとこの中国最大は見難い
事実8: あの容器包装リサイクル法は根強い
事実9: もしこの中国最大がデータアクセスページだということはないかまたはそれが疎んぜないかまたは両方だとするとあの容器包装リサイクル法は疎んぜない
事実10: 仮になんらかの物は根強いということはないならば「それは怪しない」ということは正しい
事実11: その最善は気忙しい
事実12: この売り掛けは甘過ぎる
事実13: 仮にこの中国最大が気忙しいかまたは疎んぜないとすればこの売り掛けは怪し

仮説: この売り掛けは怪し
1. 事実3と事実8から、推論1: "この中国最大は気忙しい"が導かれる
2. 推論1から、推論2: "この中国最大は気忙しいかもしくは疎んぜないかあるいは両方だ"が導かれる
3. 推論2と事実13から、仮説が導かれる

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