Anne is furry. Anne is red. Erin is smart. Gary is kind. Gary is red. Gary is rough. Harry is furry. Harry is green. Harry is kind. Harry is red. Harry is rough. Harry is smart. Green, kind people are blue. Green people are smart. All rough people are green. If someone is rough and furry then they are blue. All rough, kind people are green. Red people are rough.
Gary is not red.
@0: Anne is furry.[(triple1)] Anne is red.[(triple2)] Erin is smart.[(triple3)] Gary is kind.[(triple4)] Gary is red.[(triple5)] Gary is rough.[(triple6 OR ((triple5) -> rule6))] Harry is furry.[(triple7)] Harry is green.[(triple8 OR ((triple11) -> rule3) OR ((triple11 triple9) -> rule5) OR ((((triple10) -> rule6)) -> rule3) OR ((((triple10) -> rule6) triple9) -> rule5))] Harry is kind.[(triple9)] Harry is red.[(triple10)] Harry is rough.[(triple11 OR ((triple10) -> rule6))] Harry is smart.[(triple12 OR ((triple8) -> rule2) OR ((((triple11) -> rule3)) -> rule2) OR ((((triple11 triple9) -> rule5)) -> rule2) OR ((((((triple10) -> rule6)) -> rule3)) -> rule2) OR ((((((triple10) -> rule6) triple9) -> rule5)) -> rule2))] @1: Anne is rough.[(((triple2) -> rule6))] Gary is green.[(((triple6) -> rule3) OR ((triple6 triple4) -> rule5) OR ((((triple5) -> rule6)) -> rule3) OR ((((triple5) -> rule6) triple4) -> rule5))] Harry is blue.[(((triple11 triple7) -> rule4) OR ((triple8 triple9) -> rule1) OR ((((triple10) -> rule6) triple7) -> rule4) OR ((((triple11) -> rule3) triple9) -> rule1) OR ((((triple11 triple9) -> rule5) triple9) -> rule1) OR ((((((triple10) -> rule6)) -> rule3) triple9) -> rule1) OR ((((((triple10) -> rule6) triple9) -> rule5) triple9) -> rule1))] @2: Anne is blue.[(((((triple2) -> rule6) triple1) -> rule4))] Anne is green.[(((((triple2) -> rule6)) -> rule3))] Gary is blue.[(((((triple6) -> rule3) triple4) -> rule1) OR ((((triple6 triple4) -> rule5) triple4) -> rule1) OR ((((((triple5) -> rule6)) -> rule3) triple4) -> rule1) OR ((((((triple5) -> rule6) triple4) -> rule5) triple4) -> rule1))] Gary is smart.[(((((triple6) -> rule3)) -> rule2) OR ((((triple6 triple4) -> rule5)) -> rule2) OR ((((((triple5) -> rule6)) -> rule3)) -> rule2) OR ((((((triple5) -> rule6) triple4) -> rule5)) -> rule2))] @3: Anne is smart.[(((((((triple2) -> rule6)) -> rule3)) -> rule2))]