「このＧワンレースは赤っぽくないし加えて捗々しくない」ということは事実である
fact1: 「全てはあくどくない」ということは成り立つ fact2: この外耳は感覚出来ない fact3: 何らかの物は優・低排出ガスでないとすれば「それは赤っぽくないしおまけに捗々しくない」ということは偽だ fact4: もしもその言い回しが心無いということはないけど制限すとするとこのＧワンレースは冷め難いということはない fact5: もしもこの外耳は感覚出来ないとしたら「この社会体験はあくどいということはないけれどそれは使用・消費する」ということは事実と異なる fact6: もしも何かは冷め難いならば「使用・消費するし御甲類でない」ということは偽である fact7: もし仮に「「あくどくなくて加えて使用・消費する」ということは事実と異なる」物があるとすればあのＸ社Ｙ事業部は使用・消費しない fact8: もし仮にこの一歩手前が優・低排出ガスであるならあのＸ社Ｙ事業部は使用・消費する fact9: その言い回しが御甲類であるとするとこの一歩手前は優・低排出ガスである fact10: 仮に「その言い回しは心無くないけれど制限す」ということは事実と異なれば御甲類だ fact11: もしもなにがしかの物が冷め難いということはないとしたらそれは赤っぽいということはないしその上捗々しくない
void -> assump1: 以下のように仮定する。「「その言い回しは心無いということはない一方で制限す」ということは事実である」ということは偽である; fact10 & assump1 -> int1: 「その言い回しは御甲類である」ということは成り立つ; int1 & fact9 -> int2: 「この一歩手前は優・低排出ガスだ」ということは確かだ; int2 & fact8 -> int3: あのＸ社Ｙ事業部は使用・消費する; fact5 & fact2 -> int4: 「この社会体験はあくどくない一方で使用・消費する」ということは成り立たない; int4 -> int5: 「「あくどくないし使用・消費する」ということは成り立たない」ものはある; fact7 & int5 -> int6: あのＸ社Ｙ事業部は使用・消費しない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: その言い回しは心無くないが制限す; int8 & fact4 -> int9: このＧワンレースは冷め難くない; fact11 -> int10: もし仮にこのＧワンレースが冷め難くないとするとそれは赤っぽいということはないししかも捗々しくない; int9 & int10 -> hypothesis;
「「このＧワンレースは赤っぽくないし加えて捗々しくない」ということは成り立たない」ということは事実だ
fact14 -> int11: 「もし仮にこのＧワンレースは優・低排出ガスでないなら「このＧワンレースは赤っぽいということはないし更に捗々しくない」ということは事実と異なる」ということは成り立つ; fact12 -> int12: この一歩手前はあくどくない; fact13 -> int13: もしもその言い回しは冷め難いとしたら「使用・消費する一方で御甲類でない」ということは間違いである;
$facts$ = fact1: 「全てはあくどくない」ということは成り立つ fact2: この外耳は感覚出来ない fact3: 何らかの物は優・低排出ガスでないとすれば「それは赤っぽくないしおまけに捗々しくない」ということは偽だ fact4: もしもその言い回しが心無いということはないけど制限すとするとこのＧワンレースは冷め難いということはない fact5: もしもこの外耳は感覚出来ないとしたら「この社会体験はあくどいということはないけれどそれは使用・消費する」ということは事実と異なる fact6: もしも何かは冷め難いならば「使用・消費するし御甲類でない」ということは偽である fact7: もし仮に「「あくどくなくて加えて使用・消費する」ということは事実と異なる」物があるとすればあのＸ社Ｙ事業部は使用・消費しない fact8: もし仮にこの一歩手前が優・低排出ガスであるならあのＸ社Ｙ事業部は使用・消費する fact9: その言い回しが御甲類であるとするとこの一歩手前は優・低排出ガスである fact10: 仮に「その言い回しは心無くないけれど制限す」ということは事実と異なれば御甲類だ fact11: もしもなにがしかの物が冷め難いということはないとしたらそれは赤っぽいということはないしその上捗々しくない ; $hypothesis$ = 「このＧワンレースは赤っぽくないし加えて捗々しくない」ということは事実である ; $proof$ = 
void -> assump1: 以下のように仮定する。「「その言い回しは心無いということはない一方で制限す」ということは事実である」ということは偽である; fact10 & assump1 -> int1: 「その言い回しは御甲類である」ということは成り立つ; int1 & fact9 -> int2: 「この一歩手前は優・低排出ガスだ」ということは確かだ; int2 & fact8 -> int3: あのＸ社Ｙ事業部は使用・消費する; fact5 & fact2 -> int4: 「この社会体験はあくどくない一方で使用・消費する」ということは成り立たない; int4 -> int5: 「「あくどくないし使用・消費する」ということは成り立たない」ものはある; fact7 & int5 -> int6: あのＸ社Ｙ事業部は使用・消費しない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: その言い回しは心無くないが制限す; int8 & fact4 -> int9: このＧワンレースは冷め難くない; fact11 -> int10: もし仮にこのＧワンレースが冷め難くないとするとそれは赤っぽいということはないししかも捗々しくない; int9 & int10 -> hypothesis; __PROVED__
事実1: 「全てはあくどくない」ということは成り立つ
事実2: この外耳は感覚出来ない
事実3: 何らかの物は優・低排出ガスでないとすれば「それは赤っぽくないしおまけに捗々しくない」ということは偽だ
事実4: もしもその言い回しが心無いということはないけど制限すとするとこのＧワンレースは冷め難いということはない
事実5: もしもこの外耳は感覚出来ないとしたら「この社会体験はあくどいということはないけれどそれは使用・消費する」ということは事実と異なる
事実6: もしも何かは冷め難いならば「使用・消費するし御甲類でない」ということは偽である
事実7: もし仮に「「あくどくなくて加えて使用・消費する」ということは事実と異なる」物があるとすればあのＸ社Ｙ事業部は使用・消費しない
事実8: もし仮にこの一歩手前が優・低排出ガスであるならあのＸ社Ｙ事業部は使用・消費する
事実9: その言い回しが御甲類であるとするとこの一歩手前は優・低排出ガスである
事実10: 仮に「その言い回しは心無くないけれど制限す」ということは事実と異なれば御甲類だ
事実11: もしもなにがしかの物が冷め難いということはないとしたらそれは赤っぽいということはないしその上捗々しくない

仮説: 「このＧワンレースは赤っぽくないし加えて捗々しくない」ということは事実である
1. 仮定1: 以下のように仮定する。「「その言い回しは心無いということはない一方で制限す」ということは事実である」ということは偽である
2. 事実10と仮定1から、推論1: "「その言い回しは御甲類である」ということは成り立つ"が導かれる
3. 推論1と事実9から、推論2: "「この一歩手前は優・低排出ガスだ」ということは確かだ"が導かれる
4. 推論2と事実8から、推論3: "あのＸ社Ｙ事業部は使用・消費する"が導かれる
5. 事実5と事実2から、推論4: "「この社会体験はあくどくない一方で使用・消費する」ということは成り立たない"が導かれる
6. 推論4から、推論5: "「「あくどくないし使用・消費する」ということは成り立たない」ものはある"が導かれる
7. 事実7と推論5から、推論6: "あのＸ社Ｙ事業部は使用・消費しない"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "その言い回しは心無くないが制限す"が導かれる
10. 推論8と事実4から、推論9: "このＧワンレースは冷め難くない"が導かれる
11. 事実11から、推論10: "もし仮にこのＧワンレースが冷め難くないとするとそれは赤っぽいということはないししかも捗々しくない"が導かれる
12. 推論9と推論10から、仮説が導かれる

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