The cow is not nice. The rabbit is kind. If someone is kind then they visit the cow. If someone visits the cow then they are young. If the rabbit is young then the rabbit eats the cow. If the rabbit eats the cow and the rabbit is not nice then the cow is not young. If someone eats the cow then they chase the cow. If the rabbit visits the cow and the rabbit does not eat the cow then the cow does not visit the rabbit.
The cow is not cold.
@0: The cow is not nice.[(triple1)] The rabbit is kind.[(triple2)] @1: The rabbit visits the cow.[(((triple2) -> rule1))] @2: The rabbit is young.[(((((triple2) -> rule1)) -> rule2))] @3: The rabbit eats the cow.[(((((((triple2) -> rule1)) -> rule2)) -> rule3))] @4: The rabbit chases the cow.[(((((((((triple2) -> rule1)) -> rule2)) -> rule3)) -> rule5))]