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