Charlie is cold. Erin is quiet. Erin is not white. Gary is cold. Gary is furry. Gary is quiet. Gary is not red. Gary is white. Gary is not young. Harry is blue. Harry is white. Harry is not young. If something is quiet then it is furry. If Erin is furry then Erin is young. If something is furry then it is blue. All young things are not red. If something is white then it is quiet. If Gary is blue and Gary is not furry then Gary is red. Red, blue things are cold. If something is furry and not blue then it is cold.
Erin is not young.
@0: Charlie is cold.[(triple1)] Erin is not white.[(triple3)] Erin is quiet.[(triple2)] Gary is cold.[(triple4)] Gary is furry.[(triple5 OR ((triple6) -> rule1) OR ((((triple8) -> rule5)) -> rule1))] Gary is not red.[(triple7)] Gary is not young.[(triple9)] Gary is quiet.[(triple6 OR ((triple8) -> rule5))] Gary is white.[(triple8)] Harry is blue.[(triple10 OR ((((((triple11) -> rule5)) -> rule1)) -> rule3))] Harry is not young.[(triple12)] Harry is white.[(triple11)] @1: Erin is furry.[(((triple2) -> rule1))] Gary is blue.[(((triple5) -> rule3) OR ((((triple6) -> rule1)) -> rule3) OR ((((((triple8) -> rule5)) -> rule1)) -> rule3))] Harry is quiet.[(((triple11) -> rule5))] @2: Erin is blue.[(((((triple2) -> rule1)) -> rule3))] Erin is young.[(((((triple2) -> rule1)) -> rule2))] Harry is furry.[(((((triple11) -> rule5)) -> rule1))] @3: Erin is not red.[(((((((triple2) -> rule1)) -> rule2)) -> rule4))]