Anne is blue. Anne is cold. Bob is smart. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is smart. All blue, cold people are furry. All cold, quiet people are furry.
Anne is quiet.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Bob is smart.[(triple3)] Fiona is blue.[(triple4)] Fiona is cold.[(triple5)] Fiona is furry.[(triple6 OR ((triple4 triple5) -> rule1) OR ((triple5 triple8) -> rule2))] Fiona is kind.[(triple7)] Fiona is quiet.[(triple8)] Fiona is red.[(triple9)] Fiona is smart.[(triple10)] @1: Anne is furry.[(((triple1 triple2) -> rule1))]