Gary is cold. Gary is furry. Gary is green. Gary is red. Gary is round. Gary is smart. Gary is white. If Gary is green then Gary is furry. If someone is red then they are white. If someone is round then they are cold. If someone is green and furry then they are cold. All furry, green people are cold. All white people are green.
Gary is not red.
@0: Gary is cold.[(triple1 OR ((triple5) -> rule3) OR ((triple2 triple3) -> rule5) OR ((triple3 triple2) -> rule4) OR ((triple2 ((triple7) -> rule6)) -> rule5) OR ((triple3 ((triple3) -> rule1)) -> rule4) OR ((((triple3) -> rule1) triple3) -> rule5) OR ((((triple7) -> rule6) triple2) -> rule4) OR ((((triple3) -> rule1) ((triple7) -> rule6)) -> rule5) OR ((((triple7) -> rule6) ((triple3) -> rule1)) -> rule4) OR ((triple2 ((((triple4) -> rule2)) -> rule6)) -> rule5) OR ((triple3 ((((triple7) -> rule6)) -> rule1)) -> rule4) OR ((((((triple4) -> rule2)) -> rule6) triple2) -> rule4) OR ((((((triple7) -> rule6)) -> rule1) triple3) -> rule5) OR ((((triple3) -> rule1) ((((triple4) -> rule2)) -> rule6)) -> rule5) OR ((((triple7) -> rule6) ((((triple7) -> rule6)) -> rule1)) -> rule4) OR ((((((triple4) -> rule2)) -> rule6) ((triple3) -> rule1)) -> rule4) OR ((((((triple7) -> rule6)) -> rule1) ((triple7) -> rule6)) -> rule5) OR ((((((triple4) -> rule2)) -> rule6) ((((triple7) -> rule6)) -> rule1)) -> rule4) OR ((((((triple7) -> rule6)) -> rule1) ((((triple4) -> rule2)) -> rule6)) -> rule5) OR ((triple3 ((((((triple4) -> rule2)) -> rule6)) -> rule1)) -> rule4) OR ((((((((triple4) -> rule2)) -> rule6)) -> rule1) triple3) -> rule5) OR ((((triple7) -> rule6) ((((((triple4) -> rule2)) -> rule6)) -> rule1)) -> rule4) OR ((((((((triple4) -> rule2)) -> rule6)) -> rule1) ((triple7) -> rule6)) -> rule5) OR ((((((triple4) -> rule2)) -> rule6) ((((((triple4) -> rule2)) -> rule6)) -> rule1)) -> rule4) OR ((((((((triple4) -> rule2)) -> rule6)) -> rule1) ((((triple4) -> rule2)) -> rule6)) -> rule5))] Gary is furry.[(triple2 OR ((triple3) -> rule1) OR ((((triple7) -> rule6)) -> rule1) OR ((((((triple4) -> rule2)) -> rule6)) -> rule1))] Gary is green.[(triple3 OR ((triple7) -> rule6) OR ((((triple4) -> rule2)) -> rule6))] Gary is red.[(triple4)] Gary is round.[(triple5)] Gary is smart.[(triple6)] Gary is white.[(triple7 OR ((triple4) -> rule2))]