The cow is young. Cold, blue things are round. Young things are round. If something is round then it is blue. If the cow is blue and the cow is young then the cow is rough. All young things are cold. All rough, blue things are young.
The cow does not eat the cow.
@0: The cow is young.[(triple1)] @1: The cow is cold.[(((triple1) -> rule5))] The cow is round.[(((triple1) -> rule2))] @2: The cow is blue.[(((((triple1) -> rule2)) -> rule3))] @3: The cow is rough.[(((((((triple1) -> rule2)) -> rule3) triple1) -> rule4))]