その主義主張は言い易くない
fact1: もし陰気臭い物は病弊だとしたら「言い易くない」ということは成り立つ fact2: その主義主張は病弊である fact3: その主義主張は陰気臭い
fact3 & fact2 -> int1: その主義主張は陰気臭くて病弊である; fact1 -> int2: もしもその主義主張が陰気臭いしそれが病弊ならば言い易くない; int1 & int2 -> hypothesis;
$facts$ = fact1: もし陰気臭い物は病弊だとしたら「言い易くない」ということは成り立つ fact2: その主義主張は病弊である fact3: その主義主張は陰気臭い ; $hypothesis$ = その主義主張は言い易くない ; $proof$ = 
fact3 & fact2 -> int1: その主義主張は陰気臭くて病弊である; fact1 -> int2: もしもその主義主張が陰気臭いしそれが病弊ならば言い易くない; int1 & int2 -> hypothesis; __PROVED__
事実1: もし陰気臭い物は病弊だとしたら「言い易くない」ということは成り立つ
事実2: その主義主張は病弊である
事実3: その主義主張は陰気臭い

仮説: その主義主張は言い易くない
1. 事実3と事実2から、推論1: "その主義主張は陰気臭くて病弊である"が導かれる
2. 事実1から、推論2: "もしもその主義主張が陰気臭いしそれが病弊ならば言い易くない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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