The cow is kind. The cow is nice. The cow is red. The cow is rough. The cow is round. All nice, round things are kind.
The cow does not like the cow.
@0: The cow is kind.[(triple1 OR ((triple2 triple5) -> rule1))] The cow is nice.[(triple2)] The cow is red.[(triple3)] The cow is rough.[(triple4)] The cow is round.[(triple5)]