The cow is blue. The cow is cold. The cow is nice. The cow is not rough. The cow is young. If the cow is rough then the cow is not blue. If the cow is blue then the cow is cold.
The cow does not visit the cow.
@0: The cow is blue.[(triple1)] The cow is cold.[(triple2 OR ((triple1) -> rule2))] The cow is nice.[(triple3)] The cow is not rough.[(triple4)] The cow is young.[(triple5)]