The cow is nice. The cow is round. The cow is young. If something is big then it is green. If something is round then it is nice. If the cow is green then the cow is nice.
The cow is not round.
@0: The cow is nice.[(triple1 OR ((triple2) -> rule2))] The cow is round.[(triple2)] The cow is young.[(triple3)]