Anne is furry. Bob is furry. Bob is nice. Dave is nice. Fiona is not blue. Fiona is not nice. Fiona is smart. If someone is furry and not nice then they are blue. If someone is nice then they are not blue. All furry people are green. Green people are red. If Fiona is nice and Fiona is not blue then Fiona is not green. If someone is red and not blue then they are young.
Bob is not blue.
@0: Anne is furry.[(triple1)] Bob is furry.[(triple2)] Bob is nice.[(triple3)] Dave is nice.[(triple4)] Fiona is not blue.[(triple5)] Fiona is not nice.[(triple6)] Fiona is smart.[(triple7)] @1: Anne is green.[(((triple1) -> rule3))] Bob is green.[(((triple2) -> rule3))] Bob is not blue.[(((triple3) -> rule2))] Dave is not blue.[(((triple4) -> rule2))] @2: Anne is red.[(((((triple1) -> rule3)) -> rule4))] Bob is red.[(((((triple2) -> rule3)) -> rule4))] @3: Bob is young.[(((((((triple2) -> rule3)) -> rule4) ((triple3) -> rule2)) -> rule6))]