The cow is blue. The cow is cold. The cow is red. The cow is rough. The cow is round. Round things are cold.
The cow does not see the cow.
@0: The cow is blue.[(triple1)] The cow is cold.[(triple2 OR ((triple5) -> rule1))] The cow is red.[(triple3)] The cow is rough.[(triple4)] The cow is round.[(triple5)]