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