The cow is blue. The cow is cold. The cow is green. The cow is kind. The cow is rough. If something is blue then it is rough. Rough things are cold.
The cow chases the cow.
@0: The cow is blue.[(triple1)] The cow is cold.[(triple2 OR ((triple5) -> rule2) OR ((((triple1) -> rule1)) -> rule2))] The cow is green.[(triple3)] The cow is kind.[(triple4)] The cow is rough.[(triple5 OR ((triple1) -> rule1))]