Этого недостаточно, чтоб сделать вывод. Такие вещи называются предположениями: Глеб несёт херню, это факт, который я вижу. Поэтому я ПРЕДПОЛАГАЮ, что ему скучно. Это не "очевидный факт", а предположение
А вот если я имею набор фактов: всё, что я называю "прямая" и "плоскость" – однозначные сущности с одинаковым набором свойств у каждого экземпляра; на прямой, которую я только что изобразил в плоскости, которую я только что изобразил есть точки на и вне прямой – я могу сделать вывод: на любой прямой в плоскости есть точки на и вне прямой. У меня есть достаточное количество фактов, чтоб назвать это аксиомой.
Я сам определяю, что я называю прямой. Вкладывая в термин смысл, я делаю так, что прямая - однозначная сущность, каждый экземпляр которой имеет строго одинаковый набор свойств.