The cow is big. The cow is blue. The cow is kind. The cow is red. The cow is round. All blue, red things are round.
The cow visits the cow.
@0: The cow is big.[(triple1)] The cow is blue.[(triple2)] The cow is kind.[(triple3)] The cow is red.[(triple4)] The cow is round.[(triple5 OR ((triple2 triple4) -> rule1))]