Anne is blue. Erin is big. Erin is nice. Erin is smart. Gary is nice. Gary is quiet. Harry is smart. Round things are not big. If something is furry then it is big. If Harry is not nice then Harry is not big. All nice things are smart. If something is nice and round then it is smart. If something is smart then it is blue. All blue, nice things are not round. If something is furry and not blue then it is quiet.
Anne is smart.
@0: Anne is blue.[(triple1)] Erin is big.[(triple2)] Erin is nice.[(triple3)] Erin is smart.[(triple4 OR ((triple3) -> rule4))] Gary is nice.[(triple5)] Gary is quiet.[(triple6)] Harry is smart.[(triple7)] @1: Erin is blue.[(((triple4) -> rule6) OR ((((triple3) -> rule4)) -> rule6))] Gary is smart.[(((triple5) -> rule4))] Harry is blue.[(((triple7) -> rule6))] @2: Erin is not round.[(((((triple4) -> rule6) triple3) -> rule7) OR ((((((triple3) -> rule4)) -> rule6) triple3) -> rule7))] Gary is blue.[(((((triple5) -> rule4)) -> rule6))] @3: Gary is not round.[(((((((triple5) -> rule4)) -> rule6) triple5) -> rule7))]