Charlie is cold. Erin is cold. Erin is furry. Erin is quiet. Erin is red. Erin is smart. Erin is young. Quiet, blue people are red. Red people are quiet. Smart people are quiet. If someone is smart then they are blue. If someone is blue then they are cold. All furry people are young. All blue people are red. If someone is blue and young then they are red.
Charlie is not young.
@0: Charlie is cold.[(triple1)] Erin is cold.[(triple2 OR ((((triple6) -> rule4)) -> rule5))] Erin is furry.[(triple3)] Erin is quiet.[(triple4 OR ((triple5) -> rule2) OR ((triple6) -> rule3) OR ((((((triple6) -> rule4)) -> rule7)) -> rule2) OR ((((((triple6) -> rule4) triple7) -> rule8)) -> rule2) OR ((((((triple6) -> rule4) ((triple3) -> rule6)) -> rule8)) -> rule2))] Erin is red.[(triple5 OR ((((triple6) -> rule4)) -> rule7) OR ((triple4 ((triple6) -> rule4)) -> rule1) OR ((((triple6) -> rule4) triple7) -> rule8) OR ((((triple6) -> rule3) ((triple6) -> rule4)) -> rule1) OR ((((triple6) -> rule4) ((triple3) -> rule6)) -> rule8))] Erin is smart.[(triple6)] Erin is young.[(triple7 OR ((triple3) -> rule6))] @1: Erin is blue.[(((triple6) -> rule4))]