The cow is big. The cow is green. The cow is not rough. The cow is round. The cow is not young. All rough things are green. Round things are big.
The cow visits the cow.
@0: The cow is big.[(triple1 OR ((triple4) -> rule2))] The cow is green.[(triple2)] The cow is not rough.[(triple3)] The cow is not young.[(triple5)] The cow is round.[(triple4)]