Anne is blue. Anne is furry. Dave is blue. Dave is quiet. Harry is furry. Harry is round. Harry is not young. If someone is blue then they are quiet. If someone is red and quiet then they are blue. If someone is quiet and red then they are blue. If someone is red and not furry then they are not round. Blue people are young. If someone is quiet and not furry then they are not red. All round, blue people are red. All young, furry people are nice.
Anne is nice.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Dave is blue.[(triple3)] Dave is quiet.[(triple4 OR ((triple3) -> rule1))] Harry is furry.[(triple5)] Harry is not young.[(triple7)] Harry is round.[(triple6)] @1: Anne is quiet.[(((triple1) -> rule1))] Anne is young.[(((triple1) -> rule5))] Dave is young.[(((triple3) -> rule5))] @2: Anne is nice.[(((((triple1) -> rule5) triple2) -> rule8))]