Charlie is red. Dave is furry. Erin is quiet. Harry is smart. All furry, red people are young. If Harry is quiet then Harry is smart. If someone is young then they are red. Cold people are young. If Dave is blue then Dave is young. Smart people are young. If Erin is blue then Erin is quiet. If someone is red then they are cold.
Dave is not red.
@0: Charlie is red.[(triple1)] Dave is furry.[(triple2)] Erin is quiet.[(triple3)] Harry is smart.[(triple4)] @1: Charlie is cold.[(((triple1) -> rule8))] Harry is young.[(((triple4) -> rule6))] @2: Charlie is young.[(((((triple1) -> rule8)) -> rule4))] Harry is red.[(((((triple4) -> rule6)) -> rule3))] @3: Harry is cold.[(((((((triple4) -> rule6)) -> rule3)) -> rule8))]