The cow is cold. The cow is nice. The cow is red. The cow is rough. The cow is round. All cold, red things are round.
The cow likes the cow.
@0: The cow is cold.[(triple1)] The cow is nice.[(triple2)] The cow is red.[(triple3)] The cow is rough.[(triple4)] The cow is round.[(triple5 OR ((triple1 triple3) -> rule1))]