The cow is blue. The cow is green. The cow is young. All blue, young people are big. If someone is young and red then they are green. All green people are red.
The cow does not eat the cow.
@0: The cow is blue.[(triple1)] The cow is green.[(triple2)] The cow is young.[(triple3)] @1: The cow is big.[(((triple1 triple3) -> rule1))] The cow is red.[(((triple2) -> rule3))]