The bear is not big. The bear is cold. The bear is kind. Kind people are round. If someone is big and not round then they are not red.
The bear is not big.
@0: The bear is cold.[(triple2)] The bear is kind.[(triple3)] The bear is not big.[(triple1)] @1: The bear is round.[(((triple3) -> rule1))]