The cow is blue. The cow is nice. The cow is rough. The cow is round. The cow is young. Blue, rough things are round. All blue, round things are rough.
The cow does not eat the cow.
@0: The cow is blue.[(triple1)] The cow is nice.[(triple2)] The cow is rough.[(triple3 OR ((triple1 triple4) -> rule2))] The cow is round.[(triple4 OR ((triple1 triple3) -> rule1))] The cow is young.[(triple5)]