boolean orRule() throws CloneNotSupportedException
	{
		for(OWLIndividual node:nodes)
		{
			HashSet<OWLClassExpression> labels = nodeLabels.get(node);
			for(OWLClassExpression exp:labels)
				if(exp instanceof OWLObjectUnionOf)
				{
					OWLObjectUnionOf union = (OWLObjectUnionOf) exp;
					boolean foundOperand = false;
					for(OWLClassExpression operand:union.getOperands())
						if(labels.contains(operand))
						{
							foundOperand = true;
							break;
						}
					if(!foundOperand)
					{
						for(OWLClassExpression operand:union.getOperands())
						{
							Tableau newTableau = this.clone();
							newTableau.add(node, operand);
							if(newTableau.check())
								return true;
						}
						return false;
					}
				}
		}
		return true;
	}