このトップダウン型は満足出来ない
fact1: このトップダウン型はジニ指数である fact2: もしもこのトップダウン型がジニ指数ならばそれは満足出来る
$facts$ = fact1: このトップダウン型はジニ指数である fact2: もしもこのトップダウン型がジニ指数ならばそれは満足出来る ; $hypothesis$ = このトップダウン型は満足出来ない ; $proof$ = 
事実1: このトップダウン型はジニ指数である
事実2: もしもこのトップダウン型がジニ指数ならばそれは満足出来る

仮説: このトップダウン型は満足出来ない