The cow is cold. The cow is kind. The cow is not rough. The cow is round. The cow is young. If something is young then it is kind. Cold things are round. Round, rough things are cold.
The cow is rough.
@0: The cow is cold.[(triple1)] The cow is kind.[(triple2 OR ((triple5) -> rule1))] The cow is not rough.[(triple3)] The cow is round.[(triple4 OR ((triple1) -> rule2))] The cow is young.[(triple5)]