Charlie is kind. Erin is kind. Erin is red. Harry is cold. Harry is kind. Harry is red. Harry is young. Kind people are smart. If someone is red and quiet then they are young. All red, kind people are young. Young, kind people are smart. Quiet people are cold. If someone is kind then they are red.
Erin is not red.
@0: Charlie is kind.[(triple1)] Erin is kind.[(triple2)] Erin is red.[(triple3 OR ((triple2) -> rule6))] Harry is cold.[(triple4)] Harry is kind.[(triple5)] Harry is red.[(triple6 OR ((triple5) -> rule6))] Harry is young.[(triple7 OR ((triple6 triple5) -> rule3) OR ((((triple5) -> rule6) triple5) -> rule3))] @1: Charlie is red.[(((triple1) -> rule6))] Charlie is smart.[(((triple1) -> rule1) OR ((((((triple1) -> rule6) triple1) -> rule3) triple1) -> rule4))] Erin is smart.[(((triple2) -> rule1) OR ((((triple3 triple2) -> rule3) triple2) -> rule4) OR ((((((triple2) -> rule6) triple2) -> rule3) triple2) -> rule4))] Erin is young.[(((triple3 triple2) -> rule3) OR ((((triple2) -> rule6) triple2) -> rule3))] Harry is smart.[(((triple5) -> rule1) OR ((triple7 triple5) -> rule4) OR ((((triple6 triple5) -> rule3) triple5) -> rule4) OR ((((((triple5) -> rule6) triple5) -> rule3) triple5) -> rule4))] @2: Charlie is young.[(((((triple1) -> rule6) triple1) -> rule3))]