The cow is cold. The cow is red. The cow is rough. The cow is round. The cow is young. If something is red then it is young.
The cow is not rough.
@0: The cow is cold.[(triple1)] The cow is red.[(triple2)] The cow is rough.[(triple3)] The cow is round.[(triple4)] The cow is young.[(triple5 OR ((triple2) -> rule1))]