Anne is red. Bob is red. Charlie is red. Gary is furry. All cold things are furry. Furry, white things are red. All rough things are furry. If something is furry then it is cold. All rough things are furry. Rough, red things are kind. If something is smart then it is furry. If Bob is smart and Bob is white then Bob is kind.
Anne is not kind.
@0: Anne is red.[(triple1)] Bob is red.[(triple2)] Charlie is red.[(triple3)] Gary is furry.[(triple4)] @1: Gary is cold.[(((triple4) -> rule4))]