The cow is green. The cow is nice. The cow is red. The cow is round. The cow is young. All young, red people are green.
The cow eats the cow.
@0: The cow is green.[(triple1 OR ((triple5 triple3) -> rule1))] The cow is nice.[(triple2)] The cow is red.[(triple3)] The cow is round.[(triple4)] The cow is young.[(triple5)]