The cow is big. The cow is green. The cow is rough. The cow is round. The cow is young. Rough, round things are green. Rough things are green.
The cow does not see the cow.
@0: The cow is big.[(triple1)] The cow is green.[(triple2 OR ((triple3) -> rule2) OR ((triple3 triple4) -> rule1))] The cow is rough.[(triple3)] The cow is round.[(triple4)] The cow is young.[(triple5)]