「この副委員長は第三項排除効果である」ということは事実だ
fact1: もしも「遡及する」ものがあるとしたらこの副委員長は第三項排除効果である fact2: 「遡及する」ものはある
$facts$ = fact1: もしも「遡及する」ものがあるとしたらこの副委員長は第三項排除効果である fact2: 「遡及する」ものはある ; $hypothesis$ = 「この副委員長は第三項排除効果である」ということは事実だ ; $proof$ = 
事実1: もしも「遡及する」ものがあるとしたらこの副委員長は第三項排除効果である
事実2: 「遡及する」ものはある

仮説: 「この副委員長は第三項排除効果である」ということは事実だ