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