The cow is blue. The cow is green. The cow is rough. The cow is round. The cow is young. If the cow is blue then the cow is round.
The cow needs the cow.
@0: The cow is blue.[(triple1)] The cow is green.[(triple2)] The cow is rough.[(triple3)] The cow is round.[(triple4 OR ((triple1) -> rule1))] The cow is young.[(triple5)]