Erin is blue. Erin is cold. Erin is kind. Erin is not white. Erin is young. Harry is blue. Harry is not cold. Harry is quiet. Harry is smart. Harry is young. All blue, cold people are quiet. Smart, cold people are quiet. All smart, blue people are kind. If someone is kind and not white then they are smart. White, blue people are young. If Harry is cold and Harry is white then Harry is young. Young people are blue. If Erin is blue and Erin is kind then Erin is young.
Harry is not kind.
@0: Erin is blue.[(triple1 OR ((triple5) -> rule7))] Erin is cold.[(triple2)] Erin is kind.[(triple3)] Erin is not white.[(triple4)] Erin is young.[(triple5 OR ((triple1 triple3) -> rule8))] Harry is blue.[(triple6 OR ((triple10) -> rule7))] Harry is not cold.[(triple7)] Harry is quiet.[(triple8)] Harry is smart.[(triple9)] Harry is young.[(triple10)] @1: Erin is quiet.[(((triple1 triple2) -> rule1) OR ((((triple5) -> rule7) triple2) -> rule1) OR ((((triple3 triple4) -> rule4) triple2) -> rule2))] Erin is smart.[(((triple3 triple4) -> rule4))] Harry is kind.[(((triple9 triple6) -> rule3) OR ((triple9 ((triple10) -> rule7)) -> rule3))]