The cat chases the rabbit. The cat visits the rabbit. The cow is green. The cow needs the cat. The cow visits the cat. The rabbit chases the cat. The rabbit is red. Red people are kind. If someone is blue and they do not chase the rabbit then they are kind. If someone is big and they chase the cat then they do not chase the cow.
The rabbit does not visit the cow.
@0: The cat chases the rabbit.[(triple1)] The cat visits the rabbit.[(triple2)] The cow is green.[(triple3)] The cow needs the cat.[(triple4)] The cow visits the cat.[(triple5)] The rabbit chases the cat.[(triple6)] The rabbit is red.[(triple7)] @1: The rabbit is kind.[(((triple7) -> rule1))]