The cow likes the rabbit. The rabbit eats the cow. The rabbit likes the cow. If the cow chases the rabbit and the cow likes the rabbit then the rabbit is rough. If something likes the cow then the cow eats the rabbit. If something eats the cow and it eats the rabbit then the rabbit chases the cow. If something likes the rabbit then it is kind. If something chases the cow then the cow is rough. If something eats the cow then it likes the rabbit. If something eats the rabbit then the rabbit chases the cow. If the rabbit chases the cow then the rabbit likes the cow.
The rabbit does not chase the rabbit.
@0: The cow likes the rabbit.[(triple1)] The rabbit eats the cow.[(triple2)] The rabbit likes the cow.[(triple3)] @1: The cow eats the rabbit.[(((triple3) -> rule2))] The cow is kind.[(((triple1) -> rule4))] The rabbit likes the rabbit.[(((triple2) -> rule6))] @2: The rabbit chases the cow.[(((((triple3) -> rule2)) -> rule7))] The rabbit is kind.[(((((triple2) -> rule6)) -> rule4))] @3: The cow is rough.[(((((((triple3) -> rule2)) -> rule7)) -> rule5))]