The cow is blue. The cow is red. The cow likes the dog. The cow does not need the dog. The cow does not visit the dog. The dog is blue. The dog is kind. If someone visits the dog then the dog is round. If someone visits the dog then they do not visit the cow. If someone is big and they visit the dog then the dog needs the cow. If someone is blue then they need the cow. All blue people are big. If someone likes the dog then the dog is kind. If someone likes the cow then they are kind. If someone is red and they do not like the dog then they need the dog.
The cow likes the dog.
@0: The cow does not need the dog.[(triple4)] The cow does not visit the dog.[(triple5)] The cow is blue.[(triple1)] The cow is red.[(triple2)] The cow likes the dog.[(triple3)] The dog is blue.[(triple6)] The dog is kind.[(triple7 OR ((triple3) -> rule6))] @1: The cow is big.[(((triple1) -> rule5))] The cow needs the cow.[(((triple1) -> rule4))] The dog is big.[(((triple6) -> rule5))] The dog needs the cow.[(((triple6) -> rule4))]