Anne is cold. Anne is furry. Anne is green. Anne is kind. Anne is quiet. Anne is rough. Anne is young. Dave is cold. Dave is furry. Dave is green. Dave is rough. Gary is cold. Gary is green. Gary is kind. Gary is quiet. Gary is rough. Rough, quiet people are kind. All young, furry people are rough.
Dave is rough.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is kind.[(triple4 OR ((triple6 triple5) -> rule1) OR ((((triple7 triple2) -> rule2) triple5) -> rule1))] Anne is quiet.[(triple5)] Anne is rough.[(triple6 OR ((triple7 triple2) -> rule2))] Anne is young.[(triple7)] Dave is cold.[(triple8)] Dave is furry.[(triple9)] Dave is green.[(triple10)] Dave is rough.[(triple11)] Gary is cold.[(triple12)] Gary is green.[(triple13)] Gary is kind.[(triple14 OR ((triple16 triple15) -> rule1))] Gary is quiet.[(triple15)] Gary is rough.[(triple16)]