Charlie is cold. Erin is young. If someone is white and not nice then they are furry. Cold people are furry. If someone is red then they are cold. Red, furry people are cold. Cold, young people are white. If someone is young then they are blue. Furry people are young. If Erin is cold and Erin is not red then Erin is not furry.
Charlie is not white.
@0: Charlie is cold.[(triple1)] Erin is young.[(triple2)] @1: Charlie is furry.[(((triple1) -> rule2))] Erin is blue.[(((triple2) -> rule6))] @2: Charlie is young.[(((((triple1) -> rule2)) -> rule7))] @3: Charlie is blue.[(((((((triple1) -> rule2)) -> rule7)) -> rule6))] Charlie is white.[(((triple1 ((((triple1) -> rule2)) -> rule7)) -> rule5))]