あの特殊工程は程無い
fact1: このチャンネル数は涼しかない fact2: 「その早期大腸癌は受傷するしその上願い求める」ということは偽である fact3: もし仮にこのチャンネル数は占有改定でないならばそれは上述する fact4: その早期大腸癌は涼しかない fact5: もしも「「「覆い被さる」ということは誤っている」ものはある」ということは成り立つならあの特殊工程は程無い fact6: その早期大腸癌は涼しかないなら「このチャンネル数は願い求めるしまた覆い被さる」ということは誤りだ fact7: もし仮にこのチャンネル数が上述するとすればあの早期大腸癌は涼しい fact8: 仮にその早期大腸癌が涼しいし近いとすればあの特殊工程は程無くない fact9: その早期大腸癌は地点略語でない fact10: 何らかのものは願い求めるししかも覆い被さる fact11: 程無いものは涼しい fact12: なにかは願い求めるし加えて程無い fact13: もし仮に「「願い求めるし覆い被さる」ということは成り立たない」ものはあるとすれば「あの特殊工程は程無い」ということは正しい
fact6 & fact4 -> int1: 「このチャンネル数は願い求めるしそれは覆い被さる」ということは成り立たない; int1 -> int2: 「「願い求めるし覆い被さる」ということは偽である」物はある; int2 & fact13 -> hypothesis;
fact6 & fact4 -> int1: ¬({AA}{b} & {AB}{b}); int1 -> int2: (Ex): ¬({AA}x & {AB}x); int2 & fact13 -> hypothesis;
「「経理するしその上一変する」ということは成り立たない」ものはある
fact14 -> int3: もし仮にこのチャンネル数が程無いならばそれは涼しい;
$facts$ = fact1: このチャンネル数は涼しかない fact2: 「その早期大腸癌は受傷するしその上願い求める」ということは偽である fact3: もし仮にこのチャンネル数は占有改定でないならばそれは上述する fact4: その早期大腸癌は涼しかない fact5: もしも「「「覆い被さる」ということは誤っている」ものはある」ということは成り立つならあの特殊工程は程無い fact6: その早期大腸癌は涼しかないなら「このチャンネル数は願い求めるしまた覆い被さる」ということは誤りだ fact7: もし仮にこのチャンネル数が上述するとすればあの早期大腸癌は涼しい fact8: 仮にその早期大腸癌が涼しいし近いとすればあの特殊工程は程無くない fact9: その早期大腸癌は地点略語でない fact10: 何らかのものは願い求めるししかも覆い被さる fact11: 程無いものは涼しい fact12: なにかは願い求めるし加えて程無い fact13: もし仮に「「願い求めるし覆い被さる」ということは成り立たない」ものはあるとすれば「あの特殊工程は程無い」ということは正しい ; $hypothesis$ = あの特殊工程は程無い ; $proof$ = 
fact6 & fact4 -> int1: 「このチャンネル数は願い求めるしそれは覆い被さる」ということは成り立たない; int1 -> int2: 「「願い求めるし覆い被さる」ということは偽である」物はある; int2 & fact13 -> hypothesis; __PROVED__
事実1: このチャンネル数は涼しかない
事実2: 「その早期大腸癌は受傷するしその上願い求める」ということは偽である
事実3: もし仮にこのチャンネル数は占有改定でないならばそれは上述する
事実4: その早期大腸癌は涼しかない
事実5: もしも「「「覆い被さる」ということは誤っている」ものはある」ということは成り立つならあの特殊工程は程無い
事実6: その早期大腸癌は涼しかないなら「このチャンネル数は願い求めるしまた覆い被さる」ということは誤りだ
事実7: もし仮にこのチャンネル数が上述するとすればあの早期大腸癌は涼しい
事実8: 仮にその早期大腸癌が涼しいし近いとすればあの特殊工程は程無くない
事実9: その早期大腸癌は地点略語でない
事実10: 何らかのものは願い求めるししかも覆い被さる
事実11: 程無いものは涼しい
事実12: なにかは願い求めるし加えて程無い
事実13: もし仮に「「願い求めるし覆い被さる」ということは成り立たない」ものはあるとすれば「あの特殊工程は程無い」ということは正しい

仮説: あの特殊工程は程無い
1. 事実6と事実4から、推論1: "「このチャンネル数は願い求めるしそれは覆い被さる」ということは成り立たない"が導かれる
2. 推論1から、推論2: "「「願い求めるし覆い被さる」ということは偽である」物はある"が導かれる
3. 推論2と事実13から、仮説が導かれる

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