The cow is cold. The cow is kind. The cow is nice. The cow is red. The cow is rough. Kind things are cold.
The cow is rough.
@0: The cow is cold.[(triple1 OR ((triple2) -> rule1))] The cow is kind.[(triple2)] The cow is nice.[(triple3)] The cow is red.[(triple4)] The cow is rough.[(triple5)]