The cow is big. The cow is blue. The cow is nice. Rough, kind things are blue. All big things are nice. If something is kind and big then it is not rough. If the cow is kind then the cow is big. If the cow is nice and the cow is not kind then the cow is not rough. If the cow is not kind and the cow is not big then the cow is blue.
The cow does not visit the cow.
@0: The cow is big.[(triple1)] The cow is blue.[(triple2)] The cow is nice.[(triple3 OR ((triple1) -> rule2))]