「仮に不等価交換でないとしたら拡大縮小するか押し込み販売である」物はある
fact1: もし仮にその中穴が不等価交換であるということはないけどそれは徒らっぽいとしたら「拡大縮小する」ということは成り立つ fact2: もしその中穴が拡大縮小すればそれは食み出すか手緩い fact3: もし仮にあの一致点は手緩くない一方で増殖出来るなら「それは拡大縮小する」ということは事実である fact4: その中穴が清廉ならばそれは鎮圧するかまたはそれは徒らっぽいかあるいはどちらもである fact5: あの距離Ｒは拡大縮小しない fact6: その属地は行き易いかもしくは殲滅するかもしくは両方ともである fact7: もしもこの副腎皮質ホルモンが拡大縮小するしさらに後金であるとするとそれは愛情深い fact8: その中穴は少ない fact9: その中穴は生温いかあるいは徒らっぽいか両方ともだ fact10: もし仮にその中穴が野戦ならばそれは混ざり合うか小汚い fact11: この睡眠パターンが街宣車であるということはないけれどそれが不合格だとしたら押し込み販売である fact12: この生け捕りは拡大縮小しないけれど痛い fact13: その中穴は馴染み深い fact14: もし仮にその中穴が後金だということはないがしかし量的研究なら受け得る fact15: 「もしも極まり悪いとすると急場であるか忌ま忌ましいかあるいはどちらもである」物はある fact16: 「その中穴は徒らっぽい」ということは間違いでない fact17: 「もしも「押し込み販売でない」ということは正しいとしたら徒らっぽいか不等価交換であるかまたはどちらもである」ものはある
void -> assump1: 以下のように仮定する。その中穴は不等価交換でない; assump1 & fact16 -> int1: その中穴は不等価交換でないが徒らっぽい; int1 & fact1 -> int2: 「その中穴は拡大縮小する」ということは成り立つ; int2 -> int3: その中穴は拡大縮小するかまたは押し込み販売だ; [assump1] & int3 -> int4: 「その中穴は不等価交換でない」ということは成り立つとしたら拡大縮小するかあるいは押し込み販売であるかどちらもだ; int4 -> hypothesis;
$facts$ = fact1: もし仮にその中穴が不等価交換であるということはないけどそれは徒らっぽいとしたら「拡大縮小する」ということは成り立つ fact2: もしその中穴が拡大縮小すればそれは食み出すか手緩い fact3: もし仮にあの一致点は手緩くない一方で増殖出来るなら「それは拡大縮小する」ということは事実である fact4: その中穴が清廉ならばそれは鎮圧するかまたはそれは徒らっぽいかあるいはどちらもである fact5: あの距離Ｒは拡大縮小しない fact6: その属地は行き易いかもしくは殲滅するかもしくは両方ともである fact7: もしもこの副腎皮質ホルモンが拡大縮小するしさらに後金であるとするとそれは愛情深い fact8: その中穴は少ない fact9: その中穴は生温いかあるいは徒らっぽいか両方ともだ fact10: もし仮にその中穴が野戦ならばそれは混ざり合うか小汚い fact11: この睡眠パターンが街宣車であるということはないけれどそれが不合格だとしたら押し込み販売である fact12: この生け捕りは拡大縮小しないけれど痛い fact13: その中穴は馴染み深い fact14: もし仮にその中穴が後金だということはないがしかし量的研究なら受け得る fact15: 「もしも極まり悪いとすると急場であるか忌ま忌ましいかあるいはどちらもである」物はある fact16: 「その中穴は徒らっぽい」ということは間違いでない fact17: 「もしも「押し込み販売でない」ということは正しいとしたら徒らっぽいか不等価交換であるかまたはどちらもである」ものはある ; $hypothesis$ = 「仮に不等価交換でないとしたら拡大縮小するか押し込み販売である」物はある ; $proof$ = 
void -> assump1: 以下のように仮定する。その中穴は不等価交換でない; assump1 & fact16 -> int1: その中穴は不等価交換でないが徒らっぽい; int1 & fact1 -> int2: 「その中穴は拡大縮小する」ということは成り立つ; int2 -> int3: その中穴は拡大縮小するかまたは押し込み販売だ; [assump1] & int3 -> int4: 「その中穴は不等価交換でない」ということは成り立つとしたら拡大縮小するかあるいは押し込み販売であるかどちらもだ; int4 -> hypothesis; __PROVED__
事実1: もし仮にその中穴が不等価交換であるということはないけどそれは徒らっぽいとしたら「拡大縮小する」ということは成り立つ
事実2: もしその中穴が拡大縮小すればそれは食み出すか手緩い
事実3: もし仮にあの一致点は手緩くない一方で増殖出来るなら「それは拡大縮小する」ということは事実である
事実4: その中穴が清廉ならばそれは鎮圧するかまたはそれは徒らっぽいかあるいはどちらもである
事実5: あの距離Ｒは拡大縮小しない
事実6: その属地は行き易いかもしくは殲滅するかもしくは両方ともである
事実7: もしもこの副腎皮質ホルモンが拡大縮小するしさらに後金であるとするとそれは愛情深い
事実8: その中穴は少ない
事実9: その中穴は生温いかあるいは徒らっぽいか両方ともだ
事実10: もし仮にその中穴が野戦ならばそれは混ざり合うか小汚い
事実11: この睡眠パターンが街宣車であるということはないけれどそれが不合格だとしたら押し込み販売である
事実12: この生け捕りは拡大縮小しないけれど痛い
事実13: その中穴は馴染み深い
事実14: もし仮にその中穴が後金だということはないがしかし量的研究なら受け得る
事実15: 「もしも極まり悪いとすると急場であるか忌ま忌ましいかあるいはどちらもである」物はある
事実16: 「その中穴は徒らっぽい」ということは間違いでない
事実17: 「もしも「押し込み販売でない」ということは正しいとしたら徒らっぽいか不等価交換であるかまたはどちらもである」ものはある

仮説: 「仮に不等価交換でないとしたら拡大縮小するか押し込み販売である」物はある
1. 仮定1: 以下のように仮定する。その中穴は不等価交換でない
2. 仮定1と事実16から、推論1: "その中穴は不等価交換でないが徒らっぽい"が導かれる
3. 推論1と事実1から、推論2: "「その中穴は拡大縮小する」ということは成り立つ"が導かれる
4. 推論2から、推論3: "その中穴は拡大縮小するかまたは押し込み販売だ"が導かれる
5. [仮定1]と推論3から、推論4: "「その中穴は不等価交換でない」ということは成り立つとしたら拡大縮小するかあるいは押し込み販売であるかどちらもだ"が導かれる
6. 推論4から、仮説が導かれる

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