The cow is kind. The cow is nice. The cow is rough. The cow is round. The cow is young. All round, rough people are nice.
The cow does not chase the cow.
@0: The cow is kind.[(triple1)] The cow is nice.[(triple2 OR ((triple4 triple3) -> rule1))] The cow is rough.[(triple3)] The cow is round.[(triple4)] The cow is young.[(triple5)]