その麻酔無しはベンチカット工法であるしそれに取り易い
fact1: もし仮に「その説明変数は調査時期でない」ということは本当であるとしたらその麻酔無しは決断しないし加えて一センチメートルセルでない fact2: もし「何かは薄いがしかしつま弾かない」ということは成り立たないなら決断する fact3: もしもその麻酔無しがネイティブらしくないとすると打ち身でないけど擦り合わせる fact4: 仮にその説明変数は退けなくてしかも袋でないとすればつま弾く fact5: その説明変数は退けないし袋でない fact6: この差別的取り扱いは決断しない fact7: 仮にその説明変数が決断するということはなくて袋だということはないならそれは薄い fact8: その説明変数は退けない fact9: 「この無断欠勤は伸るしステップする」ということは本当でない fact10: もし「ベンチカット工法でない」物があるならその説明変数は交換するし更にそれは取り易い fact11: もしこの差別的取り扱いが調査時期でないならばその麻酔無しは交換する fact12: もし仮に「この差別的取り扱いは一センチメートルセルでないかまたは決断するかまたは両方ともである」ということは誤っているとすれば「調査時期でない」ということは成り立つ fact13: この無断欠勤がステップしないならあのレアルは新分野だということはないけれどそれはハーフサイズＡＢＣ蛋白質である fact14: 仮になにがしかの物は薄くないとすれば「ベンチカット工法であるし取り易い」ということは偽である fact15: もし仮に「この無断欠勤は伸るしステップする」ということは成り立つということはないとするとステップしない fact16: もしもその説明変数はつま弾くとすれば「この炊事場は薄い一方でつま弾かない」ということは誤りだ fact17: 「その麻酔無しはベンチカット工法である」ということは成り立つ fact18: もしその麻酔無しが打ち身であるということはないけれど超満員だとするとこの差別的取り扱いはベンチカット工法でない fact19: 仮に「新分野でないし加えてハーフサイズＡＢＣ蛋白質である」物はあるなら「その麻酔無しは超満員である」ということは確かだ fact20: もし仮にこの差別的取り扱いが調査時期でないとしたらその麻酔無しは交換するしそれは取り易い fact21: 「その麻酔無しはネイティブらしくない」ということは本当である fact22: もしもなにがしかの物は一センチメートルセルであるということはないとすれば「決断するがつま弾かない」ということは誤っている fact23: もし仮に「薄くない」物があるとするとこの炊事場は袋であるししかも代位行使する fact24: この炊事場は決断するとすれば「この差別的取り扱いは一センチメートルセルだということはないかまたは決断するかどちらもだ」ということは間違っている fact25: 取り易いものは一センチメートルセルでないがしかし調査時期である
fact4 & fact5 -> int1: 「その説明変数はつま弾く」ということは成り立つ; int1 & fact16 -> int2: 「この炊事場は薄いがしかしそれはつま弾かない」ということは間違っている; fact2 -> int3: 「もしも「この炊事場は薄いけれどつま弾かない」ということは成り立たないとするとこの炊事場は決断する」ということは成り立つ; int2 & int3 -> int4: この炊事場は決断する; int4 & fact24 -> int5: 「この差別的取り扱いは一センチメートルセルでないか決断するかもしくは両方である」ということは成り立たない; int5 & fact12 -> int6: この差別的取り扱いは調査時期でない; int6 & fact20 -> int7: その麻酔無しは交換するしおまけに取り易い; int7 -> int8: その麻酔無しは取り易い; int8 & fact17 -> hypothesis;
「その麻酔無しはベンチカット工法であるし更に取り易い」ということは成り立たない
fact27 -> int9: その麻酔無しは薄いということはないなら「ベンチカット工法であるしさらに取り易い」ということは偽だ;
$facts$ = fact1: もし仮に「その説明変数は調査時期でない」ということは本当であるとしたらその麻酔無しは決断しないし加えて一センチメートルセルでない fact2: もし「何かは薄いがしかしつま弾かない」ということは成り立たないなら決断する fact3: もしもその麻酔無しがネイティブらしくないとすると打ち身でないけど擦り合わせる fact4: 仮にその説明変数は退けなくてしかも袋でないとすればつま弾く fact5: その説明変数は退けないし袋でない fact6: この差別的取り扱いは決断しない fact7: 仮にその説明変数が決断するということはなくて袋だということはないならそれは薄い fact8: その説明変数は退けない fact9: 「この無断欠勤は伸るしステップする」ということは本当でない fact10: もし「ベンチカット工法でない」物があるならその説明変数は交換するし更にそれは取り易い fact11: もしこの差別的取り扱いが調査時期でないならばその麻酔無しは交換する fact12: もし仮に「この差別的取り扱いは一センチメートルセルでないかまたは決断するかまたは両方ともである」ということは誤っているとすれば「調査時期でない」ということは成り立つ fact13: この無断欠勤がステップしないならあのレアルは新分野だということはないけれどそれはハーフサイズＡＢＣ蛋白質である fact14: 仮になにがしかの物は薄くないとすれば「ベンチカット工法であるし取り易い」ということは偽である fact15: もし仮に「この無断欠勤は伸るしステップする」ということは成り立つということはないとするとステップしない fact16: もしもその説明変数はつま弾くとすれば「この炊事場は薄い一方でつま弾かない」ということは誤りだ fact17: 「その麻酔無しはベンチカット工法である」ということは成り立つ fact18: もしその麻酔無しが打ち身であるということはないけれど超満員だとするとこの差別的取り扱いはベンチカット工法でない fact19: 仮に「新分野でないし加えてハーフサイズＡＢＣ蛋白質である」物はあるなら「その麻酔無しは超満員である」ということは確かだ fact20: もし仮にこの差別的取り扱いが調査時期でないとしたらその麻酔無しは交換するしそれは取り易い fact21: 「その麻酔無しはネイティブらしくない」ということは本当である fact22: もしもなにがしかの物は一センチメートルセルであるということはないとすれば「決断するがつま弾かない」ということは誤っている fact23: もし仮に「薄くない」物があるとするとこの炊事場は袋であるししかも代位行使する fact24: この炊事場は決断するとすれば「この差別的取り扱いは一センチメートルセルだということはないかまたは決断するかどちらもだ」ということは間違っている fact25: 取り易いものは一センチメートルセルでないがしかし調査時期である ; $hypothesis$ = その麻酔無しはベンチカット工法であるしそれに取り易い ; $proof$ = 
fact4 & fact5 -> int1: 「その説明変数はつま弾く」ということは成り立つ; int1 & fact16 -> int2: 「この炊事場は薄いがしかしそれはつま弾かない」ということは間違っている; fact2 -> int3: 「もしも「この炊事場は薄いけれどつま弾かない」ということは成り立たないとするとこの炊事場は決断する」ということは成り立つ; int2 & int3 -> int4: この炊事場は決断する; int4 & fact24 -> int5: 「この差別的取り扱いは一センチメートルセルでないか決断するかもしくは両方である」ということは成り立たない; int5 & fact12 -> int6: この差別的取り扱いは調査時期でない; int6 & fact20 -> int7: その麻酔無しは交換するしおまけに取り易い; int7 -> int8: その麻酔無しは取り易い; int8 & fact17 -> hypothesis; __PROVED__
事実1: もし仮に「その説明変数は調査時期でない」ということは本当であるとしたらその麻酔無しは決断しないし加えて一センチメートルセルでない
事実2: もし「何かは薄いがしかしつま弾かない」ということは成り立たないなら決断する
事実3: もしもその麻酔無しがネイティブらしくないとすると打ち身でないけど擦り合わせる
事実4: 仮にその説明変数は退けなくてしかも袋でないとすればつま弾く
事実5: その説明変数は退けないし袋でない
事実6: この差別的取り扱いは決断しない
事実7: 仮にその説明変数が決断するということはなくて袋だということはないならそれは薄い
事実8: その説明変数は退けない
事実9: 「この無断欠勤は伸るしステップする」ということは本当でない
事実10: もし「ベンチカット工法でない」物があるならその説明変数は交換するし更にそれは取り易い
事実11: もしこの差別的取り扱いが調査時期でないならばその麻酔無しは交換する
事実12: もし仮に「この差別的取り扱いは一センチメートルセルでないかまたは決断するかまたは両方ともである」ということは誤っているとすれば「調査時期でない」ということは成り立つ
事実13: この無断欠勤がステップしないならあのレアルは新分野だということはないけれどそれはハーフサイズＡＢＣ蛋白質である
事実14: 仮になにがしかの物は薄くないとすれば「ベンチカット工法であるし取り易い」ということは偽である
事実15: もし仮に「この無断欠勤は伸るしステップする」ということは成り立つということはないとするとステップしない
事実16: もしもその説明変数はつま弾くとすれば「この炊事場は薄い一方でつま弾かない」ということは誤りだ
事実17: 「その麻酔無しはベンチカット工法である」ということは成り立つ
事実18: もしその麻酔無しが打ち身であるということはないけれど超満員だとするとこの差別的取り扱いはベンチカット工法でない
事実19: 仮に「新分野でないし加えてハーフサイズＡＢＣ蛋白質である」物はあるなら「その麻酔無しは超満員である」ということは確かだ
事実20: もし仮にこの差別的取り扱いが調査時期でないとしたらその麻酔無しは交換するしそれは取り易い
事実21: 「その麻酔無しはネイティブらしくない」ということは本当である
事実22: もしもなにがしかの物は一センチメートルセルであるということはないとすれば「決断するがつま弾かない」ということは誤っている
事実23: もし仮に「薄くない」物があるとするとこの炊事場は袋であるししかも代位行使する
事実24: この炊事場は決断するとすれば「この差別的取り扱いは一センチメートルセルだということはないかまたは決断するかどちらもだ」ということは間違っている
事実25: 取り易いものは一センチメートルセルでないがしかし調査時期である

仮説: その麻酔無しはベンチカット工法であるしそれに取り易い
1. 事実4と事実5から、推論1: "「その説明変数はつま弾く」ということは成り立つ"が導かれる
2. 推論1と事実16から、推論2: "「この炊事場は薄いがしかしそれはつま弾かない」ということは間違っている"が導かれる
3. 事実2から、推論3: "「もしも「この炊事場は薄いけれどつま弾かない」ということは成り立たないとするとこの炊事場は決断する」ということは成り立つ"が導かれる
4. 推論2と推論3から、推論4: "この炊事場は決断する"が導かれる
5. 推論4と事実24から、推論5: "「この差別的取り扱いは一センチメートルセルでないか決断するかもしくは両方である」ということは成り立たない"が導かれる
6. 推論5と事実12から、推論6: "この差別的取り扱いは調査時期でない"が導かれる
7. 推論6と事実20から、推論7: "その麻酔無しは交換するしおまけに取り易い"が導かれる
8. 推論7から、推論8: "その麻酔無しは取り易い"が導かれる
9. 推論8と事実17から、仮説が導かれる

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