その三国干渉は集落協定でない
fact1: この白蟻は庭である fact2: この白蟻が庭であるならその三国干渉は集落協定である
$facts$ = fact1: この白蟻は庭である fact2: この白蟻が庭であるならその三国干渉は集落協定である ; $hypothesis$ = その三国干渉は集落協定でない ; $proof$ = 
事実1: この白蟻は庭である
事実2: この白蟻が庭であるならその三国干渉は集落協定である

仮説: その三国干渉は集落協定でない