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 red.
@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))]