The cow is cold. The cow is kind. The cow is young. If something is cold and rough then it is red. Kind, red things are cold. If the cow is kind then the cow is rough. If the cow is red and the cow is rough then the cow is young. All rough things are young. If something is rough and cold then it is kind. Rough things are kind. All red, rough things are cold.
The cow is young.
@0: The cow is cold.[(triple1)] The cow is kind.[(triple2)] The cow is young.[(triple3 OR ((((triple2) -> rule3)) -> rule5) OR ((((triple1 ((triple2) -> rule3)) -> rule1) ((triple2) -> rule3)) -> rule4))] @1: The cow is rough.[(((triple2) -> rule3))] @2: The cow is red.[(((triple1 ((triple2) -> rule3)) -> rule1))]