The cat does not chase the lion. The cat is round. The cat needs the cow. The cat needs the dog. The cat needs the lion. The cat visits the cow. The cow chases the dog. The dog chases the cat. The dog chases the lion. The dog is cold. The dog is young. The dog needs the cow. The dog needs the lion. The lion chases the dog. The lion is round. If someone visits the cat then they need the dog. If someone chases the cat then the cat needs the dog. If the cat is not cold then the cat does not need the dog. If the cat needs the cow and the cat needs the dog then the dog needs the cat. If the cow needs the dog then the dog chases the cow. If someone needs the dog and they are not young then they visit the lion. If the cat is young then the cat is round. If someone chases the cat and they are not round then the cat does not visit the dog.
The dog is green.
@0: The cat does not chase the lion.[(triple1)] The cat is round.[(triple2)] The cat needs the cow.[(triple3)] The cat needs the dog.[(triple4 OR ((triple8) -> rule2))] The cat needs the lion.[(triple5)] The cat visits the cow.[(triple6)] The cow chases the dog.[(triple7)] The dog chases the cat.[(triple8)] The dog chases the lion.[(triple9)] The dog is cold.[(triple10)] The dog is young.[(triple11)] The dog needs the cow.[(triple12)] The dog needs the lion.[(triple13)] The lion chases the dog.[(triple14)] The lion is round.[(triple15)] @1: The dog needs the cat.[(((triple3 triple4) -> rule4) OR ((triple3 ((triple8) -> rule2)) -> rule4))]