「もしも「「皮肉めかないけれど黴臭い」ということは成り立つ」ということは事実と異なるとすれば怪しない」物はある
fact1: 「ある物は尊しないけど粗びきだ」ということは嘘であるとすると黄色雷模様表紙でない fact2: もしもそのチャンネル＆パスパレットが皮肉めけば怪しない fact3: 仮に「あの干渉戦争は大人しいということはないけど怪し」ということは成り立たないとしたら「それは滲まない」ということは事実である fact4: 「仮に「皮肉めくし黴臭い」ということは事実と異なるとすれば怪しない」ものはある fact5: もしも「そのチャンネル＆パスパレットは皮肉めくということはない一方で黴臭い」ということは偽なら「それは怪し」ということは事実だ fact6: もしそのチャンネル＆パスパレットが皮肉めかない一方でそれが黴臭いならばそれは怪しない fact7: もし「そのチャンネル＆パスパレットは皮肉めかないけれど黴臭い」ということは事実と異なるとしたら「それは怪しない」ということは事実である fact8: 「仮に黴臭くないとすると怪しない」ものはある fact9: 「「皮肉めかなくて黴臭い」ということは誤っているとすると怪し」物はある fact10: 「もし皮肉めくとしたら怪しということはない」物はある
fact7 -> hypothesis;
「もし仮に「尊しない一方で粗びきだ」ということは間違っているとすれば「黄色雷模様表紙でない」ということは確かである」物はある
fact11 -> int1: もしも「この十一世紀は尊しないがしかしそれは粗びきである」ということは偽ならばそれは黄色雷模様表紙でない; int1 -> hypothesis;
$facts$ = fact1: 「ある物は尊しないけど粗びきだ」ということは嘘であるとすると黄色雷模様表紙でない fact2: もしもそのチャンネル＆パスパレットが皮肉めけば怪しない fact3: 仮に「あの干渉戦争は大人しいということはないけど怪し」ということは成り立たないとしたら「それは滲まない」ということは事実である fact4: 「仮に「皮肉めくし黴臭い」ということは事実と異なるとすれば怪しない」ものはある fact5: もしも「そのチャンネル＆パスパレットは皮肉めくということはない一方で黴臭い」ということは偽なら「それは怪し」ということは事実だ fact6: もしそのチャンネル＆パスパレットが皮肉めかない一方でそれが黴臭いならばそれは怪しない fact7: もし「そのチャンネル＆パスパレットは皮肉めかないけれど黴臭い」ということは事実と異なるとしたら「それは怪しない」ということは事実である fact8: 「仮に黴臭くないとすると怪しない」ものはある fact9: 「「皮肉めかなくて黴臭い」ということは誤っているとすると怪し」物はある fact10: 「もし皮肉めくとしたら怪しということはない」物はある ; $hypothesis$ = 「もしも「「皮肉めかないけれど黴臭い」ということは成り立つ」ということは事実と異なるとすれば怪しない」物はある ; $proof$ = 
fact7 -> hypothesis; __PROVED__
事実1: 「ある物は尊しないけど粗びきだ」ということは嘘であるとすると黄色雷模様表紙でない
事実2: もしもそのチャンネル＆パスパレットが皮肉めけば怪しない
事実3: 仮に「あの干渉戦争は大人しいということはないけど怪し」ということは成り立たないとしたら「それは滲まない」ということは事実である
事実4: 「仮に「皮肉めくし黴臭い」ということは事実と異なるとすれば怪しない」ものはある
事実5: もしも「そのチャンネル＆パスパレットは皮肉めくということはない一方で黴臭い」ということは偽なら「それは怪し」ということは事実だ
事実6: もしそのチャンネル＆パスパレットが皮肉めかない一方でそれが黴臭いならばそれは怪しない
事実7: もし「そのチャンネル＆パスパレットは皮肉めかないけれど黴臭い」ということは事実と異なるとしたら「それは怪しない」ということは事実である
事実8: 「仮に黴臭くないとすると怪しない」ものはある
事実9: 「「皮肉めかなくて黴臭い」ということは誤っているとすると怪し」物はある
事実10: 「もし皮肉めくとしたら怪しということはない」物はある

仮説: 「もしも「「皮肉めかないけれど黴臭い」ということは成り立つ」ということは事実と異なるとすれば怪しない」物はある
1. 事実7から、仮説が導かれる

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