Gary is blue. Gary is cold. Gary is green. Gary is nice. Gary is quiet. Gary is smart. Gary is white. Smart, cold things are quiet. Nice, white things are cold. All blue, nice things are quiet. If something is nice and green then it is blue. All blue, white things are smart. If something is quiet and white then it is nice.
Gary is white.
@0: Gary is blue.[(triple1 OR ((triple4 triple3) -> rule4) OR ((((triple5 triple7) -> rule6) triple3) -> rule4) OR ((((((triple6 triple2) -> rule1) triple7) -> rule6) triple3) -> rule4))] Gary is cold.[(triple2 OR ((triple4 triple7) -> rule2) OR ((((triple5 triple7) -> rule6) triple7) -> rule2))] Gary is green.[(triple3)] Gary is nice.[(triple4 OR ((triple5 triple7) -> rule6) OR ((((triple6 triple2) -> rule1) triple7) -> rule6) OR ((((((triple1 triple7) -> rule5) triple2) -> rule1) triple7) -> rule6))] Gary is quiet.[(triple5 OR ((triple1 triple4) -> rule3) OR ((triple6 triple2) -> rule1) OR ((triple6 ((triple4 triple7) -> rule2)) -> rule1) OR ((((triple1 triple7) -> rule5) triple2) -> rule1) OR ((((triple4 triple3) -> rule4) triple4) -> rule3) OR ((((triple1 triple7) -> rule5) ((triple4 triple7) -> rule2)) -> rule1) OR ((((((triple4 triple3) -> rule4) triple7) -> rule5) triple2) -> rule1) OR ((((((triple4 triple3) -> rule4) triple7) -> rule5) ((triple4 triple7) -> rule2)) -> rule1))] Gary is smart.[(triple6 OR ((triple1 triple7) -> rule5) OR ((((triple4 triple3) -> rule4) triple7) -> rule5) OR ((((((triple5 triple7) -> rule6) triple3) -> rule4) triple7) -> rule5))] Gary is white.[(triple7)]