The cat chases the cow. The cat needs the cow. The cat needs the dog. The cat visits the cow. The cow chases the cat. The cow chases the dog. The cow is big. The cow is blue. The cow is green. The cow is nice. The cow needs the cat. The dog is nice. The dog is rough. The dog needs the cat. The dog needs the cow. The dog visits the cat. If something is blue and it needs the dog then it chases the dog. If something needs the cat and the cat visits the dog then the dog chases the cow. If the dog visits the cow and the cow chases the dog then the dog is nice. If the dog needs the cow then the cow chases the cat. If something chases the cow then it is green. If something is big and blue then it visits the cow. If something needs the cat and it visits the cow then the cat visits the dog. If something visits the cat and the cat chases the cow then the cat is rough.
The cat does not visit the dog.
@0: The cat chases the cow.[(triple1)] The cat needs the cow.[(triple2)] The cat needs the dog.[(triple3)] The cat visits the cow.[(triple4)] The cow chases the cat.[(triple5 OR ((triple15) -> rule4))] The cow chases the dog.[(triple6)] The cow is big.[(triple7)] The cow is blue.[(triple8)] The cow is green.[(triple9)] The cow is nice.[(triple10)] The cow needs the cat.[(triple11)] The dog is nice.[(triple12)] The dog is rough.[(triple13)] The dog needs the cat.[(triple14)] The dog needs the cow.[(triple15)] The dog visits the cat.[(triple16)] @1: The cat is green.[(((triple1) -> rule5))] The cat is rough.[(((triple16 triple1) -> rule8))] The cow visits the cow.[(((triple7 triple8) -> rule6))] @2: The cat visits the dog.[(((triple11 ((triple7 triple8) -> rule6)) -> rule7))] @3: The dog chases the cow.[(((triple11 ((triple11 ((triple7 triple8) -> rule6)) -> rule7)) -> rule2) OR ((triple14 ((triple11 ((triple7 triple8) -> rule6)) -> rule7)) -> rule2))] @4: The dog is green.[(((((triple11 ((triple11 ((triple7 triple8) -> rule6)) -> rule7)) -> rule2)) -> rule5) OR ((((triple14 ((triple11 ((triple7 triple8) -> rule6)) -> rule7)) -> rule2)) -> rule5))]