The cow is blue. The cow is green. The cow is nice. The cow is round. The cow is young. If someone is round then they are nice. Nice, blue people are young.
The cow does not eat the cow.
@0: The cow is blue.[(triple1)] The cow is green.[(triple2)] The cow is nice.[(triple3 OR ((triple4) -> rule1))] The cow is round.[(triple4)] The cow is young.[(triple5 OR ((triple3 triple1) -> rule2) OR ((((triple4) -> rule1) triple1) -> rule2))]