The cow is not cold. The cow is green. The cow is kind. The cow is rough. The cow is young. Young people are kind. All green, young people are kind.
The cow likes the cow.
@0: The cow is green.[(triple2)] The cow is kind.[(triple3 OR ((triple5) -> rule1) OR ((triple2 triple5) -> rule2))] The cow is not cold.[(triple1)] The cow is rough.[(triple4)] The cow is young.[(triple5)]