The cow is green. The cow is kind. The cow is nice. The cow is round. The cow is young. If the cow is kind then the cow is young. If someone is young and not round then they are green. If the cow is green then the cow is kind.
The cow is young.
@0: The cow is green.[(triple1)] The cow is kind.[(triple2 OR ((triple1) -> rule3))] The cow is nice.[(triple3)] The cow is round.[(triple4)] The cow is young.[(triple5 OR ((triple2) -> rule1) OR ((((triple1) -> rule3)) -> rule1))]