Anne is cold. Bob is red. Erin is cold. Gary is red. If something is cold then it is red. All round, rough things are furry. Kind, cold things are round. All kind, rough things are young. All round, cold things are young. All rough, furry things are red. If something is furry then it is red. Red, kind things are round.
Gary is not red.
@0: Anne is cold.[(triple1)] Bob is red.[(triple2)] Erin is cold.[(triple3)] Gary is red.[(triple4)] @1: Anne is red.[(((triple1) -> rule1))] Erin is red.[(((triple3) -> rule1))]