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 is kind.
@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)]