Anne is red. Anne is round. Anne is white. Anne is young. Gary is cold. Gary is furry. Gary is white. If someone is round then they are furry. Round people are furry. All cold people are red. If someone is round then they are white. If someone is red then they are cold. If someone is young and red then they are blue. If Gary is furry and Gary is white then Gary is round. All red people are young.
Gary is not furry.
@0: Anne is red.[(triple1)] Anne is round.[(triple2)] Anne is white.[(triple3 OR ((triple2) -> rule4))] Anne is young.[(triple4 OR ((triple1) -> rule8))] Gary is cold.[(triple5)] Gary is furry.[(triple6)] Gary is white.[(triple7)] @1: Anne is blue.[(((triple4 triple1) -> rule6) OR ((((triple1) -> rule8) triple1) -> rule6))] Anne is cold.[(((triple1) -> rule5))] Anne is furry.[(((triple2) -> rule1) OR ((triple2) -> rule2))] Gary is red.[(((triple5) -> rule3))] Gary is round.[(((triple6 triple7) -> rule7))] @2: Gary is young.[(((((triple5) -> rule3)) -> rule8))] @3: Gary is blue.[(((((((triple5) -> rule3)) -> rule8) ((triple5) -> rule3)) -> rule6))]