そのトランス・ヨルダンは招ぐ
fact1: そのトランス・ヨルダンは期待し難くないが清々しい fact2: もし仮にそのトランス・ヨルダンは期待し難くないが清々しいならばそれは招ぐない
$facts$ = fact1: そのトランス・ヨルダンは期待し難くないが清々しい fact2: もし仮にそのトランス・ヨルダンは期待し難くないが清々しいならばそれは招ぐない ; $hypothesis$ = そのトランス・ヨルダンは招ぐ ; $proof$ = 
事実1: そのトランス・ヨルダンは期待し難くないが清々しい
事実2: もし仮にそのトランス・ヨルダンは期待し難くないが清々しいならばそれは招ぐない

仮説: そのトランス・ヨルダンは招ぐ