Charlie is furry. Erin is furry. Erin is red. White people are furry. If someone is cold and not white then they are furry. If someone is red then they are furry. All smart, red people are blue. If someone is furry then they are smart. All blue people are cold. If someone is white and not furry then they are quiet. All cold, white people are not quiet.
Charlie is cold.
@0: Charlie is furry.[(triple1)] Erin is furry.[(triple2 OR ((triple3) -> rule3))] Erin is red.[(triple3)] @1: Charlie is smart.[(((triple1) -> rule5))] Erin is smart.[(((triple2) -> rule5) OR ((((triple3) -> rule3)) -> rule5))] @2: Erin is blue.[(((((triple2) -> rule5) triple3) -> rule4) OR ((((((triple3) -> rule3)) -> rule5) triple3) -> rule4))] @3: Erin is cold.[(((((((triple2) -> rule5) triple3) -> rule4)) -> rule6) OR ((((((((triple3) -> rule3)) -> rule5) triple3) -> rule4)) -> rule6))]