The bear is nice. The bear is red. The bear is round. If someone is red then they are big.
The bear is nice.
@0: The bear is nice.[(triple1)] The bear is red.[(triple2)] The bear is round.[(triple3)] @1: The bear is big.[(((triple2) -> rule1))]