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