Gary is white. All cold people are round. All furry people are cold. All white people are cold. If Gary is smart and Gary is white then Gary is not cold. If Gary is furry and Gary is round then Gary is red. All white people are furry. If Gary is not cold and Gary is not red then Gary is quiet. If Gary is smart and Gary is furry then Gary is not quiet.
Gary is not cold.
@0: Gary is white.[(triple1)] @1: Gary is cold.[(((triple1) -> rule3) OR ((((triple1) -> rule6)) -> rule2))] Gary is furry.[(((triple1) -> rule6))] @2: Gary is round.[(((((triple1) -> rule3)) -> rule1) OR ((((((triple1) -> rule6)) -> rule2)) -> rule1))] @3: Gary is red.[(((((triple1) -> rule6) ((((triple1) -> rule3)) -> rule1)) -> rule5) OR ((((triple1) -> rule6) ((((((triple1) -> rule6)) -> rule2)) -> rule1)) -> rule5))]