Charlie is blue. Erin is cold. Erin is quiet. Erin is round. Gary is blue. Gary is quiet. Gary is round. Harry is cold. Harry is quiet. Harry is young. Young people are nice. If Charlie is cold then Charlie is round. Quiet people are young. If Charlie is quiet then Charlie is round. If someone is blue then they are quiet. Cold, young people are furry.
Gary is not furry.
@0: Charlie is blue.[(triple1)] Erin is cold.[(triple2)] Erin is quiet.[(triple3)] Erin is round.[(triple4)] Gary is blue.[(triple5)] Gary is quiet.[(triple6 OR ((triple5) -> rule5))] Gary is round.[(triple7)] Harry is cold.[(triple8)] Harry is quiet.[(triple9)] Harry is young.[(triple10 OR ((triple9) -> rule3))] @1: Charlie is quiet.[(((triple1) -> rule5))] Erin is young.[(((triple3) -> rule3))] Gary is young.[(((triple6) -> rule3) OR ((((triple5) -> rule5)) -> rule3))] Harry is furry.[(((triple8 triple10) -> rule6) OR ((triple8 ((triple9) -> rule3)) -> rule6))] Harry is nice.[(((triple10) -> rule1) OR ((((triple9) -> rule3)) -> rule1))] @2: Charlie is round.[(((((triple1) -> rule5)) -> rule4))] Charlie is young.[(((((triple1) -> rule5)) -> rule3))] Erin is furry.[(((triple2 ((triple3) -> rule3)) -> rule6))] Erin is nice.[(((((triple3) -> rule3)) -> rule1))] Gary is nice.[(((((triple6) -> rule3)) -> rule1) OR ((((((triple5) -> rule5)) -> rule3)) -> rule1))] @3: Charlie is nice.[(((((((triple1) -> rule5)) -> rule3)) -> rule1))]