The cow is red. The cow is rough. The cow is young. If someone is cold then they are not kind. Rough, young people are cold.
The cow is not young.
@0: The cow is red.[(triple1)] The cow is rough.[(triple2)] The cow is young.[(triple3)] @1: The cow is cold.[(((triple2 triple3) -> rule2))] @2: The cow is not kind.[(((((triple2 triple3) -> rule2)) -> rule1))]