この売り上げアップは表記方法でないかまたは播種するかあるいは両方である
fact1: 仮にその嗜好品は加速化するとすれば「この二回以上は省電力機能でない一方で去る」ということは成り立たない fact2: もしもなにかは播種するとすればそれは赤黒い fact3: もし「この二回以上は省電力機能でないがしかし去る」ということは誤っているとしたらこの売り上げアップは省電力機能だということはない fact4: もしこの売り上げアップは省電力機能であるとするとそれは播種する fact5: この売り上げアップは省電力機能だ fact6: この全軍隊は表記方法だ fact7: 仮になんらかのものは省電力機能でないとすれば「表記方法でないかそれは播種するかあるいは両方だ」ということは偽だ fact8: この売り上げアップは表記方法であるかもしくは播種する
fact4 & fact5 -> int1: この売り上げアップは播種する; int1 -> hypothesis;
fact4 & fact5 -> int1: {B}{a}; int1 -> hypothesis;
もし仮に「この売り上げアップは播種する」ということは正しいならばそれは赤黒い
fact9 -> hypothesis;
$facts$ = fact1: 仮にその嗜好品は加速化するとすれば「この二回以上は省電力機能でない一方で去る」ということは成り立たない fact2: もしもなにかは播種するとすればそれは赤黒い fact3: もし「この二回以上は省電力機能でないがしかし去る」ということは誤っているとしたらこの売り上げアップは省電力機能だということはない fact4: もしこの売り上げアップは省電力機能であるとするとそれは播種する fact5: この売り上げアップは省電力機能だ fact6: この全軍隊は表記方法だ fact7: 仮になんらかのものは省電力機能でないとすれば「表記方法でないかそれは播種するかあるいは両方だ」ということは偽だ fact8: この売り上げアップは表記方法であるかもしくは播種する ; $hypothesis$ = この売り上げアップは表記方法でないかまたは播種するかあるいは両方である ; $proof$ = 
fact4 & fact5 -> int1: この売り上げアップは播種する; int1 -> hypothesis; __PROVED__
事実1: 仮にその嗜好品は加速化するとすれば「この二回以上は省電力機能でない一方で去る」ということは成り立たない
事実2: もしもなにかは播種するとすればそれは赤黒い
事実3: もし「この二回以上は省電力機能でないがしかし去る」ということは誤っているとしたらこの売り上げアップは省電力機能だということはない
事実4: もしこの売り上げアップは省電力機能であるとするとそれは播種する
事実5: この売り上げアップは省電力機能だ
事実6: この全軍隊は表記方法だ
事実7: 仮になんらかのものは省電力機能でないとすれば「表記方法でないかそれは播種するかあるいは両方だ」ということは偽だ
事実8: この売り上げアップは表記方法であるかもしくは播種する

仮説: この売り上げアップは表記方法でないかまたは播種するかあるいは両方である
1. 事実4と事実5から、推論1: "この売り上げアップは播種する"が導かれる
2. 推論1から、仮説が導かれる

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