The cow is kind. The rabbit is red. If something sees the cow then the cow does not need the rabbit. If something is kind and it visits the rabbit then the rabbit visits the cow. If something needs the cow and the cow visits the rabbit then the rabbit visits the cow. If something is red then it sees the cow. If something visits the rabbit then it is not nice. If something visits the rabbit and it is not red then it sees the rabbit. If the cow is kind and the cow does not need the rabbit then the cow is green. If something needs the rabbit and the rabbit needs the cow then the cow is not green.
The cow sees the cow.
@0: The cow is kind.[(triple1)] The rabbit is red.[(triple2)] @1: The rabbit sees the cow.[(((triple2) -> rule4))] @2: The cow does not need the rabbit.[(((((triple2) -> rule4)) -> rule1))] @3: The cow is green.[(((triple1 ((((triple2) -> rule4)) -> rule1)) -> rule7))]