The cow is blue. The rabbit visits the cow. If the rabbit is red and the rabbit is nice then the rabbit visits the cow. If something is blue then it needs the rabbit. If something needs the rabbit then the rabbit is blue.
The rabbit is not rough.
@0: The cow is blue.[(triple1)] The rabbit visits the cow.[(triple2)] @1: The cow needs the rabbit.[(((triple1) -> rule2))] @2: The rabbit is blue.[(((((triple1) -> rule2)) -> rule3))] @3: The rabbit needs the rabbit.[(((((((triple1) -> rule2)) -> rule3)) -> rule2))]