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