The cow is cold. The cow is kind. The cow is round. All kind, cold people are not blue. Round people are rough.
The cow likes the cow.
@0: The cow is cold.[(triple1)] The cow is kind.[(triple2)] The cow is round.[(triple3)] @1: The cow is not blue.[(((triple2 triple1) -> rule1))] The cow is rough.[(((triple3) -> rule2))]