Charlie is kind. Charlie is smart. Erin is kind. Erin is red. Erin is round. Erin is young. Gary is quiet. Gary is not young. Harry is kind. Harry is young. If Harry is young then Harry is not smart. If someone is young and not kind then they are blue. All young people are not blue. If someone is round then they are quiet. If someone is kind and not blue then they are round. If Erin is young and Erin is not quiet then Erin is smart. If Gary is not quiet then Gary is smart. If someone is quiet and not smart then they are not red.
Harry is blue.
@0: Charlie is kind.[(triple1)] Charlie is smart.[(triple2)] Erin is kind.[(triple3)] Erin is red.[(triple4)] Erin is round.[(triple5 OR ((triple3 ((triple6) -> rule3)) -> rule5))] Erin is young.[(triple6)] Gary is not young.[(triple8)] Gary is quiet.[(triple7)] Harry is kind.[(triple9)] Harry is young.[(triple10)] @1: Erin is not blue.[(((triple6) -> rule3))] Erin is quiet.[(((triple5) -> rule4) OR ((((triple3 ((triple6) -> rule3)) -> rule5)) -> rule4))] Harry is not blue.[(((triple10) -> rule3))] Harry is not smart.[(((triple10) -> rule1))] @2: Harry is round.[(((triple9 ((triple10) -> rule3)) -> rule5))] @3: Harry is quiet.[(((((triple9 ((triple10) -> rule3)) -> rule5)) -> rule4))] @4: Harry is not red.[(((((((triple9 ((triple10) -> rule3)) -> rule5)) -> rule4) ((triple10) -> rule1)) -> rule8))]