The cow is green. The cow is red. The cow is young. If the cow is blue and the cow is nice then the cow is green. If someone is red then they are nice. If someone is blue and not nice then they are young.
The cow needs the cow.
@0: The cow is green.[(triple1)] The cow is red.[(triple2)] The cow is young.[(triple3)] @1: The cow is nice.[(((triple2) -> rule2))]