The cow chases the rabbit. The cow is blue. The cow likes the rabbit. The rabbit chases the cow. The rabbit is big. The rabbit likes the cow. The rabbit sees the cow. If something likes the rabbit then the rabbit is blue. If something likes the cow and the cow is kind then it is kind. If something is blue and it likes the cow then the cow is kind.
The cow sees the rabbit.
@0: The cow chases the rabbit.[(triple1)] The cow is blue.[(triple2)] The cow likes the rabbit.[(triple3)] The rabbit chases the cow.[(triple4)] The rabbit is big.[(triple5)] The rabbit likes the cow.[(triple6)] The rabbit sees the cow.[(triple7)] @1: The rabbit is blue.[(((triple3) -> rule1))] @2: The cow is kind.[(((((triple3) -> rule1) triple6) -> rule3))] @3: The rabbit is kind.[(((triple6 ((((triple3) -> rule1) triple6) -> rule3)) -> rule2))]