Charlie is not green. Erin is not young. Gary is furry. Harry is smart. All furry people are not green. If someone is furry then they are not green. Green people are not red. If Gary is furry and Gary is not green then Gary is red. If someone is red and not green then they are smart. If someone is red and furry then they are smart. All furry, red people are blue. If Harry is not red then Harry is blue.
Gary is red.
@0: Charlie is not green.[(triple1)] Erin is not young.[(triple2)] Gary is furry.[(triple3)] Harry is smart.[(triple4)] @1: Gary is not green.[(((triple3) -> rule1) OR ((triple3) -> rule2))] @2: Gary is red.[(((triple3 ((triple3) -> rule1)) -> rule4) OR ((triple3 ((triple3) -> rule2)) -> rule4))] @3: Gary is blue.[(((triple3 ((triple3 ((triple3) -> rule1)) -> rule4)) -> rule7) OR ((triple3 ((triple3 ((triple3) -> rule2)) -> rule4)) -> rule7))] Gary is smart.[(((((triple3 ((triple3) -> rule1)) -> rule4) triple3) -> rule6) OR ((((triple3 ((triple3) -> rule2)) -> rule4) triple3) -> rule6) OR ((((triple3 ((triple3) -> rule1)) -> rule4) ((triple3) -> rule1)) -> rule5) OR ((((triple3 ((triple3) -> rule1)) -> rule4) ((triple3) -> rule2)) -> rule5) OR ((((triple3 ((triple3) -> rule2)) -> rule4) ((triple3) -> rule1)) -> rule5) OR ((((triple3 ((triple3) -> rule2)) -> rule4) ((triple3) -> rule2)) -> rule5))]