The cow is not green. The cow is kind. The cow is rough. The cow is round. The cow is not young. All young people are rough. If someone is kind and not green then they are rough. If someone is round and young then they are not rough.
The cow likes the cow.
@0: The cow is kind.[(triple2)] The cow is not green.[(triple1)] The cow is not young.[(triple5)] The cow is rough.[(triple3 OR ((triple2 triple1) -> rule2))] The cow is round.[(triple4)]