The cow is blue. The cow is red. The cow is rough. If the cow is rough then the cow is round. If something is big then it is red.
The cow is not big.
@0: The cow is blue.[(triple1)] The cow is red.[(triple2)] The cow is rough.[(triple3)] @1: The cow is round.[(((triple3) -> rule1))]