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