The cow is young. All nice things are round. Young things are cold. All young, nice things are blue.
The cow does not like the cow.
@0: The cow is young.[(triple1)] @1: The cow is cold.[(((triple1) -> rule2))]