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