The cow is not cold. The cow is kind. The cow is nice. The cow is rough. The cow is not round. If someone is nice and not cold then they are not round.
The cow is not nice.
@0: The cow is kind.[(triple2)] The cow is nice.[(triple3)] The cow is not cold.[(triple1)] The cow is not round.[(triple5 OR ((triple3 triple1) -> rule1))] The cow is rough.[(triple4)]