Anne is red. Anne is young. Bob is smart. Fiona is furry. Fiona is smart. Gary is cold. Gary is smart. If someone is blue then they are nice. If someone is nice then they are red. Nice, smart people are young. All furry people are blue. If someone is blue then they are red. If Fiona is cold then Fiona is smart. If someone is furry then they are smart. Red, furry people are smart.
Anne is not young.
@0: Anne is red.[(triple1)] Anne is young.[(triple2)] Bob is smart.[(triple3)] Fiona is furry.[(triple4)] Fiona is smart.[(triple5 OR ((triple4) -> rule7) OR ((((((triple4) -> rule4)) -> rule5) triple4) -> rule8) OR ((((((((triple4) -> rule4)) -> rule1)) -> rule2) triple4) -> rule8))] Gary is cold.[(triple6)] Gary is smart.[(triple7)] @1: Fiona is blue.[(((triple4) -> rule4))] @2: Fiona is nice.[(((((triple4) -> rule4)) -> rule1))] Fiona is red.[(((((triple4) -> rule4)) -> rule5) OR ((((((triple4) -> rule4)) -> rule1)) -> rule2))] @3: Fiona is young.[(((((((triple4) -> rule4)) -> rule1) triple5) -> rule3) OR ((((((triple4) -> rule4)) -> rule1) ((triple4) -> rule7)) -> rule3) OR ((((((triple4) -> rule4)) -> rule1) ((((((triple4) -> rule4)) -> rule5) triple4) -> rule8)) -> rule3) OR ((((((triple4) -> rule4)) -> rule1) ((((((((triple4) -> rule4)) -> rule1)) -> rule2) triple4) -> rule8)) -> rule3))]