Charlie is not smart. Dave is red. Gary is not smart. Harry is furry. If Gary is round and Gary is smart then Gary is not young. Smart, blue people are young. If someone is round and not young then they are nice. If someone is red then they are nice. If someone is furry and not smart then they are nice. If someone is furry and not round then they are red. If someone is blue then they are red. If someone is nice then they are furry.
Harry is blue.
@0: Charlie is not smart.[(triple1)] Dave is red.[(triple2)] Gary is not smart.[(triple3)] Harry is furry.[(triple4)] @1: Dave is nice.[(((triple2) -> rule4))] @2: Dave is furry.[(((((triple2) -> rule4)) -> rule8))]