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