The cow is cold. If someone is cold and not big then they are young. All young people are kind. If the cow is cold then the cow is young. If the cow is big then the cow is red. If the cow is young then the cow is kind. If the cow is red and the cow is not big then the cow is kind. If someone is kind and not young then they are not red. If someone is kind and not cold then they are red.
The cow is cold.
@0: The cow is cold.[(triple1)] @1: The cow is young.[(((triple1) -> rule3))] @2: The cow is kind.[(((((triple1) -> rule3)) -> rule2) OR ((((triple1) -> rule3)) -> rule5))]