「この玄関脇は余儀無くないが交換局だ」ということは成り立たない
fact1: 仮に「このタラップは相次でない」ということは事実だとすればこの玄関脇は余儀無くないけど交換局である fact2: このタラップは相次でない
$facts$ = fact1: 仮に「このタラップは相次でない」ということは事実だとすればこの玄関脇は余儀無くないけど交換局である fact2: このタラップは相次でない ; $hypothesis$ = 「この玄関脇は余儀無くないが交換局だ」ということは成り立たない ; $proof$ = 
事実1: 仮に「このタラップは相次でない」ということは事実だとすればこの玄関脇は余儀無くないけど交換局である
事実2: このタラップは相次でない

仮説: 「この玄関脇は余儀無くないが交換局だ」ということは成り立たない