The cow is green. The cow is kind. The cow is red. The cow is round. The cow is young. If the cow is young then the cow is green. Round, red people are green.
The cow sees the cow.
@0: The cow is green.[(triple1 OR ((triple5) -> rule1) OR ((triple4 triple3) -> rule2))] The cow is kind.[(triple2)] The cow is red.[(triple3)] The cow is round.[(triple4)] The cow is young.[(triple5)]