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