Anne is furry. Anne is green. Anne is quiet. Anne is rough. Anne is white. Anne is young. Bob is white. Gary is cold. Gary is furry. Gary is green. Gary is quiet. Gary is young. Harry is not furry. Harry is green. Harry is rough. Harry is white. If someone is furry and not young then they are not cold. All green people are cold. If someone is young then they are white. Young, furry people are white. If someone is quiet and not green then they are furry. If someone is white and not green then they are not quiet.
Gary is not quiet.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is quiet.[(triple3)] Anne is rough.[(triple4)] Anne is white.[(triple5 OR ((triple6) -> rule3) OR ((triple6 triple1) -> rule4))] Anne is young.[(triple6)] Bob is white.[(triple7)] Gary is cold.[(triple8 OR ((triple10) -> rule2))] Gary is furry.[(triple9)] Gary is green.[(triple10)] Gary is quiet.[(triple11)] Gary is young.[(triple12)] Harry is green.[(triple14)] Harry is not furry.[(triple13)] Harry is rough.[(triple15)] Harry is white.[(triple16)] @1: Anne is cold.[(((triple2) -> rule2))] Gary is white.[(((triple12) -> rule3) OR ((triple12 triple9) -> rule4))] Harry is cold.[(((triple14) -> rule2))]