The cow is not kind. The cow is red. The cow is rough. The cow is round. The cow is young. All rough, round things are red. If something is rough then it is not kind. If the cow is not red then the cow is not young. If the cow is rough and the cow is not red then the cow is young. Round, kind things are young. If something is round and not red then it is young.
The cow is kind.
@0: The cow is not kind.[(triple1 OR ((triple3) -> rule2))] The cow is red.[(triple2 OR ((triple3 triple4) -> rule1))] The cow is rough.[(triple3)] The cow is round.[(triple4)] The cow is young.[(triple5)]