Anne is cold. Anne is not quiet. Anne is smart. Anne is white. Bob is cold. Bob is white. Erin is blue. Erin is young. Gary is blue. Gary is white. If something is rough then it is young. Smart things are blue. If something is rough and cold then it is smart. All white things are rough. If Gary is young and Gary is not white then Gary is blue. If Bob is rough and Bob is young then Bob is cold.
Gary is smart.
@0: Anne is cold.[(triple1)] Anne is not quiet.[(triple2)] Anne is smart.[(triple3 OR ((((triple4) -> rule4) triple1) -> rule3))] Anne is white.[(triple4)] Bob is cold.[(triple5 OR ((((triple6) -> rule4) ((((triple6) -> rule4)) -> rule1)) -> rule6))] Bob is white.[(triple6)] Erin is blue.[(triple7)] Erin is young.[(triple8)] Gary is blue.[(triple9)] Gary is white.[(triple10)] @1: Anne is blue.[(((triple3) -> rule2) OR ((((((triple4) -> rule4) triple1) -> rule3)) -> rule2))] Anne is rough.[(((triple4) -> rule4))] Bob is rough.[(((triple6) -> rule4))] Gary is rough.[(((triple10) -> rule4))] @2: Anne is young.[(((((triple4) -> rule4)) -> rule1))] Bob is smart.[(((((triple6) -> rule4) triple5) -> rule3) OR ((((triple6) -> rule4) ((((triple6) -> rule4) ((((triple6) -> rule4)) -> rule1)) -> rule6)) -> rule3))] Bob is young.[(((((triple6) -> rule4)) -> rule1))] Gary is young.[(((((triple10) -> rule4)) -> rule1))] @3: Bob is blue.[(((((((triple6) -> rule4) triple5) -> rule3)) -> rule2) OR ((((((triple6) -> rule4) ((((triple6) -> rule4) ((((triple6) -> rule4)) -> rule1)) -> rule6)) -> rule3)) -> rule2))]