The dog is kind. The dog is rough. The dog is round. Kind, rough things are big.
The dog is round.
@0: The dog is kind.[(triple1)] The dog is rough.[(triple2)] The dog is round.[(triple3)] @1: The dog is big.[(((triple1 triple2) -> rule1))]