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