The cow is big. The cow is green. The cow is kind. The cow is rough. The cow is round. If something is big then it is green. All kind things are rough.
The cow visits the cow.
@0: The cow is big.[(triple1)] The cow is green.[(triple2 OR ((triple1) -> rule1))] The cow is kind.[(triple3)] The cow is rough.[(triple4 OR ((triple3) -> rule2))] The cow is round.[(triple5)]