The bear sees the cow. The cow likes the rabbit. The rabbit is young. If someone is young then they see the bear. If someone is blue then they are not round. If someone is young and they do not like the bear then the bear likes the cow.
The bear does not see the bear.
@0: The bear sees the cow.[(triple1)] The cow likes the rabbit.[(triple2)] The rabbit is young.[(triple3)] @1: The rabbit sees the bear.[(((triple3) -> rule1))]