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