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