Anne is furry. Charlie is kind. Charlie is quiet. Charlie is red. Erin is cold. Erin is kind. Gary is quiet. Quiet things are smart. If something is kind and red then it is nice. All smart, nice things are quiet.
Erin is not cold.
@0: Anne is furry.[(triple1)] Charlie is kind.[(triple2)] Charlie is quiet.[(triple3)] Charlie is red.[(triple4)] Erin is cold.[(triple5)] Erin is kind.[(triple6)] Gary is quiet.[(triple7)] @1: Charlie is nice.[(((triple2 triple4) -> rule2))] Charlie is smart.[(((triple3) -> rule1))] Gary is smart.[(((triple7) -> rule1))]