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