Anne is cold. Anne is green. Anne is kind. Fiona is blue. Fiona is furry. Fiona is green. Fiona is kind. Fiona is round. Gary is furry. Gary is green. Gary is round. Gary is white. Harry is blue. Harry is green. Harry is round. Furry things are cold. If something is cold then it is white. If something is green and blue then it is furry.
Harry is white.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3)] Fiona is blue.[(triple4)] Fiona is furry.[(triple5 OR ((triple6 triple4) -> rule3))] Fiona is green.[(triple6)] Fiona is kind.[(triple7)] Fiona is round.[(triple8)] Gary is furry.[(triple9)] Gary is green.[(triple10)] Gary is round.[(triple11)] Gary is white.[(triple12 OR ((((triple9) -> rule1)) -> rule2))] Harry is blue.[(triple13)] Harry is green.[(triple14)] Harry is round.[(triple15)] @1: Anne is white.[(((triple1) -> rule2))] Fiona is cold.[(((triple5) -> rule1) OR ((((triple6 triple4) -> rule3)) -> rule1))] Gary is cold.[(((triple9) -> rule1))] Harry is furry.[(((triple14 triple13) -> rule3))] @2: Fiona is white.[(((((triple5) -> rule1)) -> rule2) OR ((((((triple6 triple4) -> rule3)) -> rule1)) -> rule2))] Harry is cold.[(((((triple14 triple13) -> rule3)) -> rule1))] @3: Harry is white.[(((((((triple14 triple13) -> rule3)) -> rule1)) -> rule2))]