Erin is furry. Erin is not red. Erin is round. All furry things are blue. If something is round and not cold then it is blue. Blue, quiet things are furry. If something is quiet then it is not round. All smart things are not quiet. If something is furry and not round then it is not red.
Erin is not cold.
@0: Erin is furry.[(triple1)] Erin is not red.[(triple2)] Erin is round.[(triple3)] @1: Erin is blue.[(((triple1) -> rule1))]