Charlie is blue. Gary is cold. Gary is furry. If Charlie is blue then Charlie is cold. All blue, nice people are furry. If Charlie is kind then Charlie is big. If Charlie is nice and Charlie is kind then Charlie is rough. If Gary is blue then Gary is nice. If Charlie is kind and Charlie is furry then Charlie is cold.
Charlie is not furry.
@0: Charlie is blue.[(triple1)] Gary is cold.[(triple2)] Gary is furry.[(triple3)] @1: Charlie is cold.[(((triple1) -> rule1))]