The cow is cold. The cow is nice. The cow is rough. All rough things are kind. If the cow is rough then the cow is nice.
The cow is not blue.
@0: The cow is cold.[(triple1)] The cow is nice.[(triple2 OR ((triple3) -> rule2))] The cow is rough.[(triple3)] @1: The cow is kind.[(((triple3) -> rule1))]