The cow is blue. The cow is cold. The cow is kind. The cow is red. The cow is rough. If something is cold and rough then it is red.
The cow likes the cow.
@0: The cow is blue.[(triple1)] The cow is cold.[(triple2)] The cow is kind.[(triple3)] The cow is red.[(triple4 OR ((triple2 triple5) -> rule1))] The cow is rough.[(triple5)]