Erin is smart. Fiona is quiet. Gary is blue. Gary is kind. Gary is quiet. Gary is red. Harry is smart. If Harry is smart then Harry is kind. Quiet, smart things are blue. If something is green and smart then it is not blue. Kind things are quiet. All blue, green things are smart. Red things are furry. If Harry is smart and Harry is blue then Harry is red.
Erin is not kind.
@0: Erin is smart.[(triple1)] Fiona is quiet.[(triple2)] Gary is blue.[(triple3)] Gary is kind.[(triple4)] Gary is quiet.[(triple5 OR ((triple4) -> rule4))] Gary is red.[(triple6)] Harry is smart.[(triple7)] @1: Gary is furry.[(((triple6) -> rule6))] Harry is kind.[(((triple7) -> rule1))] @2: Harry is quiet.[(((((triple7) -> rule1)) -> rule4))] @3: Harry is blue.[(((((((triple7) -> rule1)) -> rule4) triple7) -> rule2))] @4: Harry is red.[(((triple7 ((((((triple7) -> rule1)) -> rule4) triple7) -> rule2)) -> rule7))] @5: Harry is furry.[(((((triple7 ((((((triple7) -> rule1)) -> rule4) triple7) -> rule2)) -> rule7)) -> rule6))]