The cow is big. The cow is green. The cow is kind. The cow is red. The cow is rough. All kind, rough people are green.
The cow likes the cow.
@0: The cow is big.[(triple1)] The cow is green.[(triple2 OR ((triple3 triple5) -> rule1))] The cow is kind.[(triple3)] The cow is red.[(triple4)] The cow is rough.[(triple5)]