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