The cow is blue. The cow is green. The cow is nice. The cow is round. The cow is young. If something is green and not young then it is nice. Blue things are nice. If something is young and not round then it is green.
The cow is not young.
@0: The cow is blue.[(triple1)] The cow is green.[(triple2)] The cow is nice.[(triple3 OR ((triple1) -> rule2))] The cow is round.[(triple4)] The cow is young.[(triple5)]