The cow is blue. The cow is cold. The cow is green. The cow is rough. The cow is round. If the cow is blue and the cow is round then the cow is cold. If the cow is rough and the cow is cold then the cow is round.
The cow chases the cow.
@0: The cow is blue.[(triple1)] The cow is cold.[(triple2 OR ((triple1 triple5) -> rule1))] The cow is green.[(triple3)] The cow is rough.[(triple4)] The cow is round.[(triple5 OR ((triple4 triple2) -> rule2))]