Dave is young. Harry is not furry. Young, nice people are blue. If someone is young then they are blue. All furry people are blue. If Dave is round then Dave is not blue. If someone is furry and red then they are cold. If someone is round and cold then they are not red. If someone is blue then they are furry. Blue, young people are furry.
Harry is nice.
@0: Dave is young.[(triple1)] Harry is not furry.[(triple2)] @1: Dave is blue.[(((triple1) -> rule2))] @2: Dave is furry.[(((((triple1) -> rule2)) -> rule7) OR ((((triple1) -> rule2) triple1) -> rule8))]