The cow is cold. The cow is nice. The cow is rough. The cow is round. The cow is young. Young, cold people are rough.
The cow does not need the cow.
@0: The cow is cold.[(triple1)] The cow is nice.[(triple2)] The cow is rough.[(triple3 OR ((triple5 triple1) -> rule1))] The cow is round.[(triple4)] The cow is young.[(triple5)]