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