The cow is not round. The rabbit needs the cow. If something is green and it does not like the cow then it does not like the rabbit. If something is kind then it is red. If something chases the rabbit then the rabbit is green. If the cow needs the rabbit and the rabbit needs the cow then the rabbit is green. If something needs the cow then it chases the cow. If something is green then it chases the cow. If something chases the cow then the cow likes the rabbit. If something is kind and it likes the cow then the cow does not like the rabbit.
The rabbit chases the rabbit.
@0: The cow is not round.[(triple1)] The rabbit needs the cow.[(triple2)] @1: The rabbit chases the cow.[(((triple2) -> rule5))] @2: The cow likes the rabbit.[(((((triple2) -> rule5)) -> rule7))]