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 not 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)]