「「もし胡桃でないとすると出版出来る」ものはある」ということは成り立たない
fact1: もしもその神明様は胡桃でないなら「出版出来る」ということは事実だ fact2: 「胡桃であるとすると出版出来る」物はある fact3: もし何らかのものがＣ社だということはないとするとそれは国家儀礼である
fact1 -> hypothesis;
「Ｃ社であるということはないなら国家儀礼である」ものはある
fact4 -> int1: もし仮にこのＸＳＬＴスタイルシートはＣ社でないなら国家儀礼である; int1 -> hypothesis;
$facts$ = fact1: もしもその神明様は胡桃でないなら「出版出来る」ということは事実だ fact2: 「胡桃であるとすると出版出来る」物はある fact3: もし何らかのものがＣ社だということはないとするとそれは国家儀礼である ; $hypothesis$ = 「「もし胡桃でないとすると出版出来る」ものはある」ということは成り立たない ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: もしもその神明様は胡桃でないなら「出版出来る」ということは事実だ
事実2: 「胡桃であるとすると出版出来る」物はある
事実3: もし何らかのものがＣ社だということはないとするとそれは国家儀礼である

仮説: 「「もし胡桃でないとすると出版出来る」ものはある」ということは成り立たない
1. 事実1から、仮説が否定される

よって、仮説が否定されました。