The cat chases the cow. The cow likes the cat. The cow needs the cat. If the cow chases the cat and the cow needs the cat then the cow likes the cat. If someone is green then they do not chase the cow. If someone is nice then they like the cow. If someone is cold then they do not need the cow. If someone chases the cow then they are not big. If someone needs the cow then the cow is cold. If someone needs the cat and the cat is big then they like the cat. If someone is big and they need the cow then the cow does not need the cat.
The cow does not like the cow.
@0: The cat chases the cow.[(triple1)] The cow likes the cat.[(triple2)] The cow needs the cat.[(triple3)] @1: The cat is not big.[(((triple1) -> rule5))]