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 does not eat the cow.
@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)]