Anne is furry. Anne is green. Anne is smart. Erin is not blue. Erin is cold. Erin is furry. Erin is green. Erin is quiet. Erin is not red. Erin is not smart. Gary is blue. Harry is not blue. Harry is furry. Harry is green. Harry is not red. All furry people are green. If someone is blue and not red then they are green. If Gary is green and Gary is furry then Gary is blue. If someone is blue then they are furry. If someone is blue and red then they are not quiet. All red, blue people are cold. If Harry is not quiet then Harry is not green. If someone is red and not green then they are smart.
Gary is green.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2 OR ((triple1) -> rule1))] Anne is smart.[(triple3)] Erin is cold.[(triple5)] Erin is furry.[(triple6)] Erin is green.[(triple7 OR ((triple6) -> rule1))] Erin is not blue.[(triple4)] Erin is not red.[(triple9)] Erin is not smart.[(triple10)] Erin is quiet.[(triple8)] Gary is blue.[(triple11)] Harry is furry.[(triple13)] Harry is green.[(triple14 OR ((triple13) -> rule1))] Harry is not blue.[(triple12)] Harry is not red.[(triple15)] @1: Gary is furry.[(((triple11) -> rule4))] @2: Gary is green.[(((((triple11) -> rule4)) -> rule1))]