The cow is cold. If someone is big then they are young. Young, blue people are not cold. If someone is cold then they are big. If the cow is young and the cow is blue then the cow is cold. If someone is blue and not big then they are rough. All young people are rough.
The cow is blue.
@0: The cow is cold.[(triple1)] @1: The cow is big.[(((triple1) -> rule3))] @2: The cow is young.[(((((triple1) -> rule3)) -> rule1))] @3: The cow is rough.[(((((((triple1) -> rule3)) -> rule1)) -> rule6))]