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