Gary is not red. Gary is rough. Gary is smart. If Gary is smart and Gary is not red then Gary is kind. If someone is kind and not red then they are green. All green, rough people are furry. If someone is cold and smart then they are rough. If Gary is kind then Gary is green. All red people are not smart.
Gary is green.
@0: Gary is not red.[(triple1)] Gary is rough.[(triple2)] Gary is smart.[(triple3)] @1: Gary is kind.[(((triple3 triple1) -> rule1))] @2: Gary is green.[(((((triple3 triple1) -> rule1)) -> rule5) OR ((((triple3 triple1) -> rule1) triple1) -> rule2))] @3: Gary is furry.[(((((((triple3 triple1) -> rule1)) -> rule5) triple2) -> rule3) OR ((((((triple3 triple1) -> rule1) triple1) -> rule2) triple2) -> rule3))]