「この使い勝手は満開でない」ということは成り立つ
fact1: この使い勝手は貸し下ぐということはない fact2: その発生機序は貸し下ぐということはない fact3: この使い勝手が貸し下ぐないならばそれは満開でない
$facts$ = fact1: この使い勝手は貸し下ぐということはない fact2: その発生機序は貸し下ぐということはない fact3: この使い勝手が貸し下ぐないならばそれは満開でない ; $hypothesis$ = 「この使い勝手は満開でない」ということは成り立つ ; $proof$ = 
事実1: この使い勝手は貸し下ぐということはない
事実2: その発生機序は貸し下ぐということはない
事実3: この使い勝手が貸し下ぐないならばそれは満開でない

仮説: 「この使い勝手は満開でない」ということは成り立つ