Charlie is furry. Dave is furry. Erin is not round. Harry is blue. Red people are blue. All big people are cold. If Erin is big then Erin is blue. If someone is blue then they are furry. If someone is round then they are furry. If someone is furry then they are not smart. If Erin is not big and Erin is not cold then Erin is furry. If Dave is big and Dave is not blue then Dave is cold.
Charlie is cold.
@0: Charlie is furry.[(triple1)] Dave is furry.[(triple2)] Erin is not round.[(triple3)] Harry is blue.[(triple4)] @1: Charlie is not smart.[(((triple1) -> rule6))] Dave is not smart.[(((triple2) -> rule6))] Harry is furry.[(((triple4) -> rule4))] @2: Harry is not smart.[(((((triple4) -> rule4)) -> rule6))]