The cow is blue. The cow is cold. The cow is kind. The cow is red. The cow is not young. If someone is cold then they are kind. Young people are not blue. If someone is cold and not blue then they are not red.
The cow does not visit the cow.
@0: The cow is blue.[(triple1)] The cow is cold.[(triple2)] The cow is kind.[(triple3 OR ((triple2) -> rule1))] The cow is not young.[(triple5)] The cow is red.[(triple4)]