その白髪門はマクロライド系抗生物質でない
fact1: なにかは社会主義思想だということはない fact2: もし仮に「その白髪門は詮無いが白っぽくない」ということは成り立たないとすればマクロライド系抗生物質でない fact3: もし「社会主義思想であるということはない」ものはあるとしたら「その白髪門は詮無いけれど白っぽくない」ということは真実でない fact4: 詮無くないものはマクロライド系抗生物質で社会主義思想である
fact1 & fact3 -> int1: 「その白髪門は詮無いが白っぽくない」ということは成り立たない; int1 & fact2 -> hypothesis;
fact1 & fact3 -> int1: ¬({B}{a} & ¬{C}{a}); int1 & fact2 -> hypothesis;
「その白髪門はマクロライド系抗生物質である」ということは誤っているということはない
fact5 -> int2: もしその白髪門が詮無くないとしたらマクロライド系抗生物質でそれは社会主義思想だ;
$facts$ = fact1: なにかは社会主義思想だということはない fact2: もし仮に「その白髪門は詮無いが白っぽくない」ということは成り立たないとすればマクロライド系抗生物質でない fact3: もし「社会主義思想であるということはない」ものはあるとしたら「その白髪門は詮無いけれど白っぽくない」ということは真実でない fact4: 詮無くないものはマクロライド系抗生物質で社会主義思想である ; $hypothesis$ = その白髪門はマクロライド系抗生物質でない ; $proof$ = 
fact1 & fact3 -> int1: 「その白髪門は詮無いが白っぽくない」ということは成り立たない; int1 & fact2 -> hypothesis; __PROVED__
事実1: なにかは社会主義思想だということはない
事実2: もし仮に「その白髪門は詮無いが白っぽくない」ということは成り立たないとすればマクロライド系抗生物質でない
事実3: もし「社会主義思想であるということはない」ものはあるとしたら「その白髪門は詮無いけれど白っぽくない」ということは真実でない
事実4: 詮無くないものはマクロライド系抗生物質で社会主義思想である

仮説: その白髪門はマクロライド系抗生物質でない
1. 事実1と事実3から、推論1: "「その白髪門は詮無いが白っぽくない」ということは成り立たない"が導かれる
2. 推論1と事実2から、仮説が導かれる

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