The cat likes the cow. The cow likes the tiger. The dog is young. The tiger is young. If someone eats the cow then the cow chases the cat. If someone likes the tiger then they are young. If someone eats the cat and the cat likes the cow then they chase the tiger. If someone is green then they chase the tiger. If someone is young and they chase the tiger then they chase the cat. If the tiger is cold then the tiger is round. If someone likes the cow then the cow eats the cat. If someone is cold then they chase the cat.
The cow is young.
@0: The cat likes the cow.[(triple1)] The cow likes the tiger.[(triple2)] The dog is young.[(triple3)] The tiger is young.[(triple4)] @1: The cow eats the cat.[(((triple1) -> rule7))] The cow is young.[(((triple2) -> rule2))] @2: The cow chases the tiger.[(((((triple1) -> rule7) triple1) -> rule3))] @3: The cow chases the cat.[(((((triple2) -> rule2) ((((triple1) -> rule7) triple1) -> rule3)) -> rule5))]