The cat visits the dog. The dog needs the cat. The dog visits the cat. If someone visits the cat and the cat visits the dog then the cat likes the dog. If someone visits the dog then the dog is blue. If someone needs the cat and they are big then the cat does not visit the dog. If someone likes the dog and the dog visits the cat then they are not rough. If someone is nice then they like the cat. If someone is blue then they visit the cat.
The cat does not visit the dog.
@0: The cat visits the dog.[(triple1)] The dog needs the cat.[(triple2)] The dog visits the cat.[(triple3 OR ((((triple1) -> rule2)) -> rule6))] @1: The cat likes the dog.[(((triple3 triple1) -> rule1) OR ((((((triple1) -> rule2)) -> rule6) triple1) -> rule1))] The dog is blue.[(((triple1) -> rule2))] @2: The cat is not rough.[(((((triple3 triple1) -> rule1) triple3) -> rule4) OR ((((triple3 triple1) -> rule1) ((((triple1) -> rule2)) -> rule6)) -> rule4) OR ((((((((triple1) -> rule2)) -> rule6) triple1) -> rule1) triple3) -> rule4) OR ((((((((triple1) -> rule2)) -> rule6) triple1) -> rule1) ((((triple1) -> rule2)) -> rule6)) -> rule4))]