The cat chases the rabbit. The rabbit chases the cat. The rabbit is green. If someone is green and they see the cat then the cat sees the rabbit. If someone chases the rabbit then the rabbit needs the cat. If someone is kind and red then they see the cat. If someone is cold and they need the rabbit then the rabbit sees the cat. If someone sees the cat and they are kind then they need the cat. If someone sees the rabbit and they need the rabbit then they chase the rabbit. If someone needs the cat then the cat is blue. If someone chases the cat and they see the cat then they are red.
The rabbit is not green.
@0: The cat chases the rabbit.[(triple1)] The rabbit chases the cat.[(triple2)] The rabbit is green.[(triple3)] @1: The rabbit needs the cat.[(((triple1) -> rule2))] @2: The cat is blue.[(((((triple1) -> rule2)) -> rule7))]