Charlie is nice. If someone is nice then they are cold. Furry people are cold. If Charlie is red then Charlie is furry.
Charlie is nice.
@0: Charlie is nice.[(triple1)] @1: Charlie is cold.[(((triple1) -> rule1))]