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