あのＣＡＤデータは刺々する
fact1: なんらかのものは工業薬品でないならばそれは刺々しない fact2: 「あのＣＡＤデータは浸らないかまたは初回面接であるかもしくは両方である」ということは間違いである fact3: 「「あのＣＡＤデータは浸らないかそれは初回面接であるかあるいはどちらもである」ということは成り立つということはない」ということは真実であるならそれは工業薬品でない fact4: もしもこの視野は工業薬品で刺々するとしたらそれは浸るということはない
fact3 & fact2 -> int1: あのＣＡＤデータは工業薬品だということはない; fact1 -> int2: あのＣＡＤデータが工業薬品だということはないとしたらそれは刺々するということはない; int1 & int2 -> hypothesis;
この視野は浸らない
$facts$ = fact1: なんらかのものは工業薬品でないならばそれは刺々しない fact2: 「あのＣＡＤデータは浸らないかまたは初回面接であるかもしくは両方である」ということは間違いである fact3: 「「あのＣＡＤデータは浸らないかそれは初回面接であるかあるいはどちらもである」ということは成り立つということはない」ということは真実であるならそれは工業薬品でない fact4: もしもこの視野は工業薬品で刺々するとしたらそれは浸るということはない ; $hypothesis$ = あのＣＡＤデータは刺々する ; $proof$ = 
fact3 & fact2 -> int1: あのＣＡＤデータは工業薬品だということはない; fact1 -> int2: あのＣＡＤデータが工業薬品だということはないとしたらそれは刺々するということはない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: なんらかのものは工業薬品でないならばそれは刺々しない
事実2: 「あのＣＡＤデータは浸らないかまたは初回面接であるかもしくは両方である」ということは間違いである
事実3: 「「あのＣＡＤデータは浸らないかそれは初回面接であるかあるいはどちらもである」ということは成り立つということはない」ということは真実であるならそれは工業薬品でない
事実4: もしもこの視野は工業薬品で刺々するとしたらそれは浸るということはない

仮説: あのＣＡＤデータは刺々する
1. 事実3と事実2から、推論1: "あのＣＡＤデータは工業薬品だということはない"が導かれる
2. 事実1から、推論2: "あのＣＡＤデータが工業薬品だということはないとしたらそれは刺々するということはない"が導かれる
3. 推論1と推論2から、仮説が否定される

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