Charlie is red. Charlie is young. Erin is red. If someone is smart and furry then they are cold. All cold, young people are red. All furry people are cold. If someone is furry and red then they are smart. All smart people are young. All smart, green people are young. If Erin is furry and Erin is rough then Erin is green. All red people are young.
Erin is young.
@0: Charlie is red.[(triple1)] Charlie is young.[(triple2 OR ((triple1) -> rule8))] Erin is red.[(triple3)] @1: Erin is young.[(((triple3) -> rule8))]