The cow is big. The cow is green. The cow is nice. The cow is rough. The cow is round. If the cow is rough then the cow is big. If someone is rough then they are nice. Green people are big.
The cow is nice.
@0: The cow is big.[(triple1 OR ((triple2) -> rule3) OR ((triple4) -> rule1))] The cow is green.[(triple2)] The cow is nice.[(triple3 OR ((triple4) -> rule2))] The cow is rough.[(triple4)] The cow is round.[(triple5)]