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 is red.
@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)]