The cow is blue. The rabbit is cold. If someone visits the rabbit then the rabbit is blue. If someone is blue then they are red. If the rabbit eats the cow then the rabbit visits the cow. If someone is cold then they visit the rabbit. If someone is cold and they eat the rabbit then they chase the cow. If the rabbit is not blue then the rabbit is not young.
The cow is red.
@0: The cow is blue.[(triple1)] The rabbit is cold.[(triple2)] @1: The cow is red.[(((triple1) -> rule2))] The rabbit visits the rabbit.[(((triple2) -> rule4))] @2: The rabbit is blue.[(((((triple2) -> rule4)) -> rule1))] @3: The rabbit is red.[(((((((triple2) -> rule4)) -> rule1)) -> rule2))]