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 is not rough.
@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)]