Anne is furry. Bob is nice. Bob is red. Fiona is furry. Fiona is green. Fiona is red. Fiona is round. All furry, blue people are smart. If someone is furry then they are blue. All furry, smart people are round.
Anne is smart.
@0: Anne is furry.[(triple1)] Bob is nice.[(triple2)] Bob is red.[(triple3)] Fiona is furry.[(triple4)] Fiona is green.[(triple5)] Fiona is red.[(triple6)] Fiona is round.[(triple7 OR ((triple4 ((triple4 ((triple4) -> rule2)) -> rule1)) -> rule3))] @1: Anne is blue.[(((triple1) -> rule2))] Fiona is blue.[(((triple4) -> rule2))] @2: Anne is smart.[(((triple1 ((triple1) -> rule2)) -> rule1))] Fiona is smart.[(((triple4 ((triple4) -> rule2)) -> rule1))] @3: Anne is round.[(((triple1 ((triple1 ((triple1) -> rule2)) -> rule1)) -> rule3))]