Anne is big. Anne is cold. Anne is furry. Anne is white. Erin is cold. Fiona is round. Gary is smart. All smart things are furry. Big, blue things are round. If Gary is cold then Gary is smart. All blue, furry things are big. If Gary is furry then Gary is blue. Round things are cold. Cold, white things are furry. Round things are blue.
Gary is not blue.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3 OR ((triple2 triple4) -> rule7))] Anne is white.[(triple4)] Erin is cold.[(triple5)] Fiona is round.[(triple6)] Gary is smart.[(triple7)] @1: Fiona is blue.[(((triple6) -> rule8))] Fiona is cold.[(((triple6) -> rule6))] Gary is furry.[(((triple7) -> rule1))] @2: Gary is blue.[(((((triple7) -> rule1)) -> rule5))] @3: Gary is big.[(((((((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule4))] @4: Gary is round.[(((((((((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule4) ((((triple7) -> rule1)) -> rule5)) -> rule2))] @5: Gary is cold.[(((((((((((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule4) ((((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule6))]