The cow is big. The cow is blue. The cow is green. The cow is rough. The cow is round. All round people are rough.
The cow does not need the cow.
@0: The cow is big.[(triple1)] The cow is blue.[(triple2)] The cow is green.[(triple3)] The cow is rough.[(triple4 OR ((triple5) -> rule1))] The cow is round.[(triple5)]