The cow likes the rabbit. The rabbit is round. Big things are kind. If something is kind and big then it visits the rabbit. If something is nice then it likes the cow. If something likes the rabbit then the rabbit is nice. If something is big then it is nice. If something is kind then it likes the rabbit.
The rabbit does not see the rabbit.
@0: The cow likes the rabbit.[(triple1)] The rabbit is round.[(triple2)] @1: The rabbit is nice.[(((triple1) -> rule4))] @2: The rabbit likes the cow.[(((((triple1) -> rule4)) -> rule3))]