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