The cow is cold. The cow is not kind. The cow is red. If the cow is cold then the cow is nice. All blue things are not red. If something is kind and not blue then it is red. Nice, blue things are kind. Cold, blue things are not kind. Red, blue things are nice.
The cow is cold.
@0: The cow is cold.[(triple1)] The cow is not kind.[(triple2)] The cow is red.[(triple3)] @1: The cow is nice.[(((triple1) -> rule1))]