あのシャ・ノワールは赤しない
fact1: この金属原子は新自治令だ fact2: 「なんらかの物は新自治令でなくて赤しない」ということは誤っているとするとそれは赤し fact3: もしもこの金属原子が新自治令ならばあのシャ・ノワールは赤し
fact3 & fact1 -> hypothesis;
fact3 & fact1 -> hypothesis;
この金属原子は赤し
fact4 -> int1: 「この金属原子は新自治令でなくて赤しない」ということは成り立たないとするとそれは赤し;
$facts$ = fact1: この金属原子は新自治令だ fact2: 「なんらかの物は新自治令でなくて赤しない」ということは誤っているとするとそれは赤し fact3: もしもこの金属原子が新自治令ならばあのシャ・ノワールは赤し ; $hypothesis$ = あのシャ・ノワールは赤しない ; $proof$ = 
fact3 & fact1 -> hypothesis; __DISPROVED__
事実1: この金属原子は新自治令だ
事実2: 「なんらかの物は新自治令でなくて赤しない」ということは誤っているとするとそれは赤し
事実3: もしもこの金属原子が新自治令ならばあのシャ・ノワールは赤し

仮説: あのシャ・ノワールは赤しない
1. 事実3と事実1から、仮説が否定される

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