Anne is not cold. Anne is furry. Anne is green. Anne is kind. Anne is smart. Anne is not young. Charlie is cold. Charlie is furry. Charlie is green. Charlie is kind. Dave is green. Dave is kind. Dave is not quiet. Dave is smart. Gary is kind. If something is cold then it is smart. Kind, smart things are not quiet.
Gary is furry.
@0: Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is kind.[(triple4)] Anne is not cold.[(triple1)] Anne is not young.[(triple6)] Anne is smart.[(triple5)] Charlie is cold.[(triple7)] Charlie is furry.[(triple8)] Charlie is green.[(triple9)] Charlie is kind.[(triple10)] Dave is green.[(triple11)] Dave is kind.[(triple12)] Dave is not quiet.[(triple13 OR ((triple12 triple14) -> rule2))] Dave is smart.[(triple14)] Gary is kind.[(triple15)] @1: Anne is not quiet.[(((triple4 triple5) -> rule2))] Charlie is smart.[(((triple7) -> rule1))] @2: Charlie is not quiet.[(((triple10 ((triple7) -> rule1)) -> rule2))]