The cow is kind. The cow is not round. The cow is young. If someone is kind and not young then they are round. All red, big people are not kind. If someone is young then they are kind.
The cow is not kind.
@0: The cow is kind.[(triple1 OR ((triple3) -> rule3))] The cow is not round.[(triple2)] The cow is young.[(triple3)]