「その株周りは核抑止でないしそれは古ぼけない」ということは成り立つ
fact1: 仮にこのイミダゾリルは美しないとしたら「その株周りは核抑止でなくて加えて古ぼけるということはない」ということは成り立たない fact2: 「その自由主義陣営は古ぼけないしまたそれは神経線維だということはない」ということは成り立たない fact3: その株周りは財務数値だということはない fact4: もし仮にその株周りは美しということはないならば「このイミダゾリルは古ぼけるけど核抑止でない」ということは成り立つということはない fact5: もしも「なんらかのものは美しないがしかし潔い」ということは間違っていればそれは核抑止でない fact6: このイミダゾリルは美しない fact7: 「このイミダゾリルは核抑止だが美しということはない」ということは成り立つということはない
fact1 & fact6 -> hypothesis;
fact1 & fact6 -> hypothesis;
その株周りは核抑止でないしかつ古ぼけない
fact8 -> int1: もし「その株周りは美しないけれどそれは潔い」ということは嘘だとするとそれは核抑止であるということはない;
$facts$ = fact1: 仮にこのイミダゾリルは美しないとしたら「その株周りは核抑止でなくて加えて古ぼけるということはない」ということは成り立たない fact2: 「その自由主義陣営は古ぼけないしまたそれは神経線維だということはない」ということは成り立たない fact3: その株周りは財務数値だということはない fact4: もし仮にその株周りは美しということはないならば「このイミダゾリルは古ぼけるけど核抑止でない」ということは成り立つということはない fact5: もしも「なんらかのものは美しないがしかし潔い」ということは間違っていればそれは核抑止でない fact6: このイミダゾリルは美しない fact7: 「このイミダゾリルは核抑止だが美しということはない」ということは成り立つということはない ; $hypothesis$ = 「その株周りは核抑止でないしそれは古ぼけない」ということは成り立つ ; $proof$ = 
fact1 & fact6 -> hypothesis; __DISPROVED__
事実1: 仮にこのイミダゾリルは美しないとしたら「その株周りは核抑止でなくて加えて古ぼけるということはない」ということは成り立たない
事実2: 「その自由主義陣営は古ぼけないしまたそれは神経線維だということはない」ということは成り立たない
事実3: その株周りは財務数値だということはない
事実4: もし仮にその株周りは美しということはないならば「このイミダゾリルは古ぼけるけど核抑止でない」ということは成り立つということはない
事実5: もしも「なんらかのものは美しないがしかし潔い」ということは間違っていればそれは核抑止でない
事実6: このイミダゾリルは美しない
事実7: 「このイミダゾリルは核抑止だが美しということはない」ということは成り立つということはない

仮説: 「その株周りは核抑止でないしそれは古ぼけない」ということは成り立つ
1. 事実1と事実6から、仮説が否定される

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