The cow is nice. The cow is round. The cow is young. All round people are nice. If someone is cold and round then they are not young. Nice people are round.
The cow is not nice.
@0: The cow is nice.[(triple1 OR ((triple2) -> rule1))] The cow is round.[(triple2 OR ((triple1) -> rule3))] The cow is young.[(triple3)]