The cat eats the dog. The cat is green. The cat is nice. The cat sees the dog. The cat visits the dog. The dog eats the cat. The dog is nice. The dog is rough. The dog sees the cat. The dog visits the cat. If someone sees the dog then they eat the cat. If someone visits the cat then they eat the dog. If the cat visits the dog then the cat is green.
The dog does not visit the dog.
@0: The cat eats the dog.[(triple1)] The cat is green.[(triple2 OR ((triple5) -> rule3))] The cat is nice.[(triple3)] The cat sees the dog.[(triple4)] The cat visits the dog.[(triple5)] The dog eats the cat.[(triple6)] The dog is nice.[(triple7)] The dog is rough.[(triple8)] The dog sees the cat.[(triple9)] The dog visits the cat.[(triple10)] @1: The cat eats the cat.[(((triple4) -> rule1))] The dog eats the dog.[(((triple10) -> rule2))]