もし仮にこの焼き立てパンが体表ならあの温室効果ガスは平信徒でないけどそれは鏡面だ
fact1: 「「変化し易くないけどカバーす」ということは偽である」物はある fact2: 「この焼き立てパンは体表でないけど雇い入れる」ということは嘘である fact3: もし仮にこの焼き立てパンが鏡面ならばあの温室効果ガスは体表でない fact4: もし仮にあの温室効果ガスが体表だとするとこの焼き立てパンは鏡面だということはない fact5: もしも「あの温室効果ガスは体表である」ということは成り立つとするとこの焼き立てパンは鏡面でないがしかし平信徒である fact6: 仮に「「「平信徒だということはないがしかし鏡面である」ということは成り立つ」ということは成り立たない」ものがあるとしたらこの焼き立てパンは体表でない
void -> assump1: 以下のように仮定する。「あの温室効果ガスは平信徒でないけれどそれは鏡面だ」ということは間違いである; assump1 -> int1: 「「「平信徒でないしそれに鏡面である」ということは事実だ」ということは嘘である」ものはある; int1 & fact6 -> int2: この焼き立てパンは体表でない; void -> assump2: 以下のように仮定する。「この焼き立てパンは体表である」ということは確かだ; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの温室効果ガスは平信徒であるということはないけど鏡面だ; [assump2] & int4 -> hypothesis;
$facts$ = fact1: 「「変化し易くないけどカバーす」ということは偽である」物はある fact2: 「この焼き立てパンは体表でないけど雇い入れる」ということは嘘である fact3: もし仮にこの焼き立てパンが鏡面ならばあの温室効果ガスは体表でない fact4: もし仮にあの温室効果ガスが体表だとするとこの焼き立てパンは鏡面だということはない fact5: もしも「あの温室効果ガスは体表である」ということは成り立つとするとこの焼き立てパンは鏡面でないがしかし平信徒である fact6: 仮に「「「平信徒だということはないがしかし鏡面である」ということは成り立つ」ということは成り立たない」ものがあるとしたらこの焼き立てパンは体表でない ; $hypothesis$ = もし仮にこの焼き立てパンが体表ならあの温室効果ガスは平信徒でないけどそれは鏡面だ ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの温室効果ガスは平信徒でないけれどそれは鏡面だ」ということは間違いである; assump1 -> int1: 「「「平信徒でないしそれに鏡面である」ということは事実だ」ということは嘘である」ものはある; int1 & fact6 -> int2: この焼き立てパンは体表でない; void -> assump2: 以下のように仮定する。「この焼き立てパンは体表である」ということは確かだ; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの温室効果ガスは平信徒であるということはないけど鏡面だ; [assump2] & int4 -> hypothesis; __PROVED__
事実1: 「「変化し易くないけどカバーす」ということは偽である」物はある
事実2: 「この焼き立てパンは体表でないけど雇い入れる」ということは嘘である
事実3: もし仮にこの焼き立てパンが鏡面ならばあの温室効果ガスは体表でない
事実4: もし仮にあの温室効果ガスが体表だとするとこの焼き立てパンは鏡面だということはない
事実5: もしも「あの温室効果ガスは体表である」ということは成り立つとするとこの焼き立てパンは鏡面でないがしかし平信徒である
事実6: 仮に「「「平信徒だということはないがしかし鏡面である」ということは成り立つ」ということは成り立たない」ものがあるとしたらこの焼き立てパンは体表でない

仮説: もし仮にこの焼き立てパンが体表ならあの温室効果ガスは平信徒でないけどそれは鏡面だ
1. 仮定1: 以下のように仮定する。「あの温室効果ガスは平信徒でないけれどそれは鏡面だ」ということは間違いである
2. 仮定1から、推論1: "「「「平信徒でないしそれに鏡面である」ということは事実だ」ということは嘘である」ものはある"が導かれる
3. 推論1と事実6から、推論2: "この焼き立てパンは体表でない"が導かれる
4. 仮定2: 以下のように仮定する。「この焼き立てパンは体表である」ということは確かだ
5. 推論2と仮定2から、推論3: "これは矛盾である"が導かれる
6. [仮定1]と推論3から、推論4: "あの温室効果ガスは平信徒であるということはないけど鏡面だ"が導かれる
7. [仮定2]と推論4から、仮説が導かれる

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