The bear is green. The cow is young. The tiger sees the cow. If someone is young then they see the tiger. If someone likes the bear then the bear likes the cow. If someone sees the tiger then the tiger is young. If someone is big and they like the cow then the cow does not like the bear. If someone sees the tiger then they do not like the cow. If someone likes the cow then the cow likes the tiger.
The tiger sees the tiger.
@0: The bear is green.[(triple1)] The cow is young.[(triple2)] The tiger sees the cow.[(triple3)] @1: The cow sees the tiger.[(((triple2) -> rule1))] @2: The cow does not like the cow.[(((((triple2) -> rule1)) -> rule5))] The tiger is young.[(((((triple2) -> rule1)) -> rule3))] @3: The tiger sees the tiger.[(((((((triple2) -> rule1)) -> rule3)) -> rule1))] @4: The tiger does not like the cow.[(((((((((triple2) -> rule1)) -> rule3)) -> rule1)) -> rule5))]