Als er kilaro's, vaivindolers en viavondilers bestaan, welke logische conclusie is er dan uit de volgende twee stellingen te trekken?