The cow is blue. The cow is kind. The cow is nice. The cow is red. The cow is rough. If the cow is nice and the cow is not red then the cow is kind. If the cow is blue and the cow is nice then the cow is rough.
The cow is nice.
@0: The cow is blue.[(triple1)] The cow is kind.[(triple2)] The cow is nice.[(triple3)] The cow is red.[(triple4)] The cow is rough.[(triple5 OR ((triple1 triple3) -> rule2))]