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