The cow is big. The cow is blue. The cow is cold. The cow is green. The cow is kind. If something is cold then it is kind.
The cow does not visit the cow.
@0: The cow is big.[(triple1)] The cow is blue.[(triple2)] The cow is cold.[(triple3)] The cow is green.[(triple4)] The cow is kind.[(triple5 OR ((triple3) -> rule1))]