あのカクテル・パーティは一覧表示するということはない
fact1: もしあのカクテル・パーティが取れ易くないとしたらそれは一覧表示しない fact2: あのカクテル・パーティは取れ易くない
$facts$ = fact1: もしあのカクテル・パーティが取れ易くないとしたらそれは一覧表示しない fact2: あのカクテル・パーティは取れ易くない ; $hypothesis$ = あのカクテル・パーティは一覧表示するということはない ; $proof$ = 
事実1: もしあのカクテル・パーティが取れ易くないとしたらそれは一覧表示しない
事実2: あのカクテル・パーティは取れ易くない

仮説: あのカクテル・パーティは一覧表示するということはない