Charlie is young. Erin is nice. White, nice people are green. If Erin is red then Erin is cold. Young, red people are furry. All nice, white people are green. All young people are red. If someone is red and white then they are cold. All white, red people are green. If someone is red then they are white.
Erin is red.
@0: Charlie is young.[(triple1)] Erin is nice.[(triple2)] @1: Charlie is red.[(((triple1) -> rule5))] @2: Charlie is furry.[(((triple1 ((triple1) -> rule5)) -> rule3))] Charlie is white.[(((((triple1) -> rule5)) -> rule8))] @3: Charlie is cold.[(((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule8)) -> rule6))] Charlie is green.[(((((((triple1) -> rule5)) -> rule8) ((triple1) -> rule5)) -> rule7))]