Bob is white. Charlie is furry. Gary is cold. All furry, young people are not red. All white, furry people are not red. All cold, furry people are blue. If someone is cold then they are young. All cold people are furry. Furry people are white.
Charlie is red.
@0: Bob is white.[(triple1)] Charlie is furry.[(triple2)] Gary is cold.[(triple3)] @1: Charlie is white.[(((triple2) -> rule6))] Gary is furry.[(((triple3) -> rule5))] Gary is young.[(((triple3) -> rule4))] @2: Charlie is not red.[(((((triple2) -> rule6) triple2) -> rule2))] Gary is blue.[(((triple3 ((triple3) -> rule5)) -> rule3))] Gary is not red.[(((((triple3) -> rule5) ((triple3) -> rule4)) -> rule1) OR ((((((triple3) -> rule5)) -> rule6) ((triple3) -> rule5)) -> rule2))] Gary is white.[(((((triple3) -> rule5)) -> rule6))]