この計算能力は酸っぱくない
fact1: 仮に「「堆積しなくてそれに生産体制だ」ということは成り立たない」ものがあればこの計算能力は生産体制でない fact2: もしも「「製薬業界でないかまたは生産体制でない」ものはある」ということは真実であるならこの自動車税は吊り易い fact3: もしも「生産体制でない」物があるとすればあのサンプリング時点は製薬業界であるし研究所だ fact4: もし仮に「吊り易いか堆積する」ものがあるとしたらこの計算能力は酸っぱくない fact5: もし仮に「何らかの物は製薬業界であるけどそれは研究所でない」ということは嘘であるとしたら酸っぱい fact6: なにがしかのものは研究所でない fact7: 仮にあるものが研究所でないとするとあのサンプリング時点は製薬業界でないかもしくは生産体制でないかまたは両方である
fact6 & fact7 -> int1: あのサンプリング時点は製薬業界でないか生産体制でない; int1 -> int2: なにかは製薬業界だということはないかまたはそれは生産体制でないかもしくはどちらもだ; int2 & fact2 -> int3: この自動車税は吊り易い; int3 -> int4: この自動車税は吊り易いか堆積するかあるいは両方である; int4 -> int5: 「吊り易いか堆積する」ものはある; int5 & fact4 -> hypothesis;
この計算能力は酸っぱい
fact8 -> int6: もし「この計算能力は製薬業界だけれど研究所でない」ということは事実と異なればそれは酸っぱい;
$facts$ = fact1: 仮に「「堆積しなくてそれに生産体制だ」ということは成り立たない」ものがあればこの計算能力は生産体制でない fact2: もしも「「製薬業界でないかまたは生産体制でない」ものはある」ということは真実であるならこの自動車税は吊り易い fact3: もしも「生産体制でない」物があるとすればあのサンプリング時点は製薬業界であるし研究所だ fact4: もし仮に「吊り易いか堆積する」ものがあるとしたらこの計算能力は酸っぱくない fact5: もし仮に「何らかの物は製薬業界であるけどそれは研究所でない」ということは嘘であるとしたら酸っぱい fact6: なにがしかのものは研究所でない fact7: 仮にあるものが研究所でないとするとあのサンプリング時点は製薬業界でないかもしくは生産体制でないかまたは両方である ; $hypothesis$ = この計算能力は酸っぱくない ; $proof$ = 
fact6 & fact7 -> int1: あのサンプリング時点は製薬業界でないか生産体制でない; int1 -> int2: なにかは製薬業界だということはないかまたはそれは生産体制でないかもしくはどちらもだ; int2 & fact2 -> int3: この自動車税は吊り易い; int3 -> int4: この自動車税は吊り易いか堆積するかあるいは両方である; int4 -> int5: 「吊り易いか堆積する」ものはある; int5 & fact4 -> hypothesis; __PROVED__
事実1: 仮に「「堆積しなくてそれに生産体制だ」ということは成り立たない」ものがあればこの計算能力は生産体制でない
事実2: もしも「「製薬業界でないかまたは生産体制でない」ものはある」ということは真実であるならこの自動車税は吊り易い
事実3: もしも「生産体制でない」物があるとすればあのサンプリング時点は製薬業界であるし研究所だ
事実4: もし仮に「吊り易いか堆積する」ものがあるとしたらこの計算能力は酸っぱくない
事実5: もし仮に「何らかの物は製薬業界であるけどそれは研究所でない」ということは嘘であるとしたら酸っぱい
事実6: なにがしかのものは研究所でない
事実7: 仮にあるものが研究所でないとするとあのサンプリング時点は製薬業界でないかもしくは生産体制でないかまたは両方である

仮説: この計算能力は酸っぱくない
1. 事実6と事実7から、推論1: "あのサンプリング時点は製薬業界でないか生産体制でない"が導かれる
2. 推論1から、推論2: "なにかは製薬業界だということはないかまたはそれは生産体制でないかもしくはどちらもだ"が導かれる
3. 推論2と事実2から、推論3: "この自動車税は吊り易い"が導かれる
4. 推論3から、推論4: "この自動車税は吊り易いか堆積するかあるいは両方である"が導かれる
5. 推論4から、推論5: "「吊り易いか堆積する」ものはある"が導かれる
6. 推論5と事実4から、仮説が導かれる

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