もし仮に「この環境意思決定過程は百十番する」ということは確かであるとするとこの製品技術は訳無い
fact1: このアルミ付きは悪賢い fact2: もしも「この環境意思決定過程は百十番する」ということは正しいとすると「その大量生産・大量消費はぴんぴんするし悪賢い」ということは成り立たない fact3: この環境意思決定過程は属名だ fact4: 「この環境意思決定過程はぴんぴんする」ということは成り立つ fact5: この環境意思決定過程は弾き易い fact6: もしその大量生産・大量消費が属名だとしたらこの製品技術は弾き易い fact7: もしその大量生産・大量消費が悪賢いとしたら属名だ fact8: もし仮に「この製品技術はぴんぴんする」ということは成り立つとすれば「その大量生産・大量消費は訳無くてそれは悪賢い」ということは成り立たない fact9: その大量生産・大量消費はカミングアウトする fact10: もし仮にこの製品技術がぴんぴんするならその大量生産・大量消費は弾き易い fact11: 仮になにがしかのものは百十番すれば「弾き易い」ということは確かだ fact12: この親権者変更はぴんぴんする fact13: 仮に「その大量生産・大量消費はぴんぴんするけど悪賢くない」ということは成り立たないとすれば属名である fact14: 仮にこの環境意思決定過程は百十番すれば「その大量生産・大量消費はぴんぴんするがしかし悪賢くない」ということは成り立たない fact15: 「その大量生産・大量消費はぴんぴんするし加えて悪賢い」ということは誤りである fact16: 「その大量生産・大量消費は弾き易いがしかしぴんぴんしない」ということは嘘である fact17: もし仮にこの環境意思決定過程が訳無いならその一般は訳無くない fact18: その大量生産・大量消費は朗読する fact19: あの世帯年収は属名である fact20: もしこの製品技術が弾き易いとしたら訳無い fact21: 仮にこの製品技術が弾き易いとすれば百十番する fact22: この製品技術は悪賢い
void -> assump1: 以下のように仮定する。この環境意思決定過程は百十番する; fact14 & assump1 -> int1: 「その大量生産・大量消費はぴんぴんするが悪賢くない」ということは本当でない; int1 & fact13 -> int2: その大量生産・大量消費は属名である; int2 & fact6 -> int3: この製品技術は弾き易い; int3 & fact20 -> int4: この製品技術は訳無い; [assump1] & int4 -> hypothesis;
その一般は弾き易い
fact24 -> int5: もし仮に「その一般は百十番する」ということは成り立つとしたら弾き易い;
$facts$ = fact1: このアルミ付きは悪賢い fact2: もしも「この環境意思決定過程は百十番する」ということは正しいとすると「その大量生産・大量消費はぴんぴんするし悪賢い」ということは成り立たない fact3: この環境意思決定過程は属名だ fact4: 「この環境意思決定過程はぴんぴんする」ということは成り立つ fact5: この環境意思決定過程は弾き易い fact6: もしその大量生産・大量消費が属名だとしたらこの製品技術は弾き易い fact7: もしその大量生産・大量消費が悪賢いとしたら属名だ fact8: もし仮に「この製品技術はぴんぴんする」ということは成り立つとすれば「その大量生産・大量消費は訳無くてそれは悪賢い」ということは成り立たない fact9: その大量生産・大量消費はカミングアウトする fact10: もし仮にこの製品技術がぴんぴんするならその大量生産・大量消費は弾き易い fact11: 仮になにがしかのものは百十番すれば「弾き易い」ということは確かだ fact12: この親権者変更はぴんぴんする fact13: 仮に「その大量生産・大量消費はぴんぴんするけど悪賢くない」ということは成り立たないとすれば属名である fact14: 仮にこの環境意思決定過程は百十番すれば「その大量生産・大量消費はぴんぴんするがしかし悪賢くない」ということは成り立たない fact15: 「その大量生産・大量消費はぴんぴんするし加えて悪賢い」ということは誤りである fact16: 「その大量生産・大量消費は弾き易いがしかしぴんぴんしない」ということは嘘である fact17: もし仮にこの環境意思決定過程が訳無いならその一般は訳無くない fact18: その大量生産・大量消費は朗読する fact19: あの世帯年収は属名である fact20: もしこの製品技術が弾き易いとしたら訳無い fact21: 仮にこの製品技術が弾き易いとすれば百十番する fact22: この製品技術は悪賢い ; $hypothesis$ = もし仮に「この環境意思決定過程は百十番する」ということは確かであるとするとこの製品技術は訳無い ; $proof$ = 
void -> assump1: 以下のように仮定する。この環境意思決定過程は百十番する; fact14 & assump1 -> int1: 「その大量生産・大量消費はぴんぴんするが悪賢くない」ということは本当でない; int1 & fact13 -> int2: その大量生産・大量消費は属名である; int2 & fact6 -> int3: この製品技術は弾き易い; int3 & fact20 -> int4: この製品技術は訳無い; [assump1] & int4 -> hypothesis; __PROVED__
事実1: このアルミ付きは悪賢い
事実2: もしも「この環境意思決定過程は百十番する」ということは正しいとすると「その大量生産・大量消費はぴんぴんするし悪賢い」ということは成り立たない
事実3: この環境意思決定過程は属名だ
事実4: 「この環境意思決定過程はぴんぴんする」ということは成り立つ
事実5: この環境意思決定過程は弾き易い
事実6: もしその大量生産・大量消費が属名だとしたらこの製品技術は弾き易い
事実7: もしその大量生産・大量消費が悪賢いとしたら属名だ
事実8: もし仮に「この製品技術はぴんぴんする」ということは成り立つとすれば「その大量生産・大量消費は訳無くてそれは悪賢い」ということは成り立たない
事実9: その大量生産・大量消費はカミングアウトする
事実10: もし仮にこの製品技術がぴんぴんするならその大量生産・大量消費は弾き易い
事実11: 仮になにがしかのものは百十番すれば「弾き易い」ということは確かだ
事実12: この親権者変更はぴんぴんする
事実13: 仮に「その大量生産・大量消費はぴんぴんするけど悪賢くない」ということは成り立たないとすれば属名である
事実14: 仮にこの環境意思決定過程は百十番すれば「その大量生産・大量消費はぴんぴんするがしかし悪賢くない」ということは成り立たない
事実15: 「その大量生産・大量消費はぴんぴんするし加えて悪賢い」ということは誤りである
事実16: 「その大量生産・大量消費は弾き易いがしかしぴんぴんしない」ということは嘘である
事実17: もし仮にこの環境意思決定過程が訳無いならその一般は訳無くない
事実18: その大量生産・大量消費は朗読する
事実19: あの世帯年収は属名である
事実20: もしこの製品技術が弾き易いとしたら訳無い
事実21: 仮にこの製品技術が弾き易いとすれば百十番する
事実22: この製品技術は悪賢い

仮説: もし仮に「この環境意思決定過程は百十番する」ということは確かであるとするとこの製品技術は訳無い
1. 仮定1: 以下のように仮定する。この環境意思決定過程は百十番する
2. 事実14と仮定1から、推論1: "「その大量生産・大量消費はぴんぴんするが悪賢くない」ということは本当でない"が導かれる
3. 推論1と事実13から、推論2: "その大量生産・大量消費は属名である"が導かれる
4. 推論2と事実6から、推論3: "この製品技術は弾き易い"が導かれる
5. 推論3と事実20から、推論4: "この製品技術は訳無い"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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