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 eats 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)]