「仮にこの二次会が暗いとするとこの二次会は桃・瀝・竹でない」ということは間違っている
fact1: 暗いものは桃・瀝・竹であるということはない
$facts$ = fact1: 暗いものは桃・瀝・竹であるということはない ; $hypothesis$ = 「仮にこの二次会が暗いとするとこの二次会は桃・瀝・竹でない」ということは間違っている ; $proof$ = 
事実1: 暗いものは桃・瀝・竹であるということはない

仮説: 「仮にこの二次会が暗いとするとこの二次会は桃・瀝・竹でない」ということは間違っている