その御零れは賢いがそれは中継局でない
fact1: 「その御零れは賢いけど中継局でない」ということは成り立たない
$facts$ = fact1: 「その御零れは賢いけど中継局でない」ということは成り立たない ; $hypothesis$ = その御零れは賢いがそれは中継局でない ; $proof$ = 
事実1: 「その御零れは賢いけど中継局でない」ということは成り立たない

仮説: その御零れは賢いがそれは中継局でない