Anne is nice. Erin is green. Erin is quiet. Gary is quiet. Gary is smart. Harry is kind. Harry is smart. If someone is kind and big then they are nice. If Gary is quiet and Gary is big then Gary is smart. If someone is cold then they are green. If Harry is smart and Harry is cold then Harry is green. Quiet people are big. If someone is nice and big then they are cold. All nice, quiet people are cold. If Gary is nice then Gary is kind. Smart people are quiet.
Erin is kind.
@0: Anne is nice.[(triple1)] Erin is green.[(triple2)] Erin is quiet.[(triple3)] Gary is quiet.[(triple4 OR ((triple5) -> rule9))] Gary is smart.[(triple5 OR ((triple4 ((triple4) -> rule5)) -> rule2))] Harry is kind.[(triple6)] Harry is smart.[(triple7)] @1: Erin is big.[(((triple3) -> rule5))] Gary is big.[(((triple4) -> rule5) OR ((((triple5) -> rule9)) -> rule5))] Harry is quiet.[(((triple7) -> rule9))] @2: Harry is big.[(((((triple7) -> rule9)) -> rule5))] @3: Harry is nice.[(((triple6 ((((triple7) -> rule9)) -> rule5)) -> rule1))] @4: Harry is cold.[(((((triple6 ((((triple7) -> rule9)) -> rule5)) -> rule1) ((triple7) -> rule9)) -> rule7) OR ((((triple6 ((((triple7) -> rule9)) -> rule5)) -> rule1) ((((triple7) -> rule9)) -> rule5)) -> rule6))] @5: Harry is green.[(((((((triple6 ((((triple7) -> rule9)) -> rule5)) -> rule1) ((triple7) -> rule9)) -> rule7)) -> rule3) OR ((triple7 ((((triple6 ((((triple7) -> rule9)) -> rule5)) -> rule1) ((triple7) -> rule9)) -> rule7)) -> rule4) OR ((((((triple6 ((((triple7) -> rule9)) -> rule5)) -> rule1) ((((triple7) -> rule9)) -> rule5)) -> rule6)) -> rule3) OR ((triple7 ((((triple6 ((((triple7) -> rule9)) -> rule5)) -> rule1) ((((triple7) -> rule9)) -> rule5)) -> rule6)) -> rule4))]