Anne is smart. Anne is young. Dave is cold. Dave is white. Dave is young. Gary is not cold. Gary is furry. Gary is nice. Gary is not smart. Gary is not young. Harry is cold. Harry is furry. Harry is nice. Harry is rough. Harry is white. If something is rough and white then it is nice. If something is furry and white then it is nice. If Dave is young and Dave is cold then Dave is rough. Smart, furry things are not young. If Harry is smart and Harry is white then Harry is young. If something is cold and young then it is not smart. White, young things are not furry. If something is smart and young then it is white.
Anne is rough.
@0: Anne is smart.[(triple1)] Anne is young.[(triple2)] Dave is cold.[(triple3)] Dave is white.[(triple4)] Dave is young.[(triple5)] Gary is furry.[(triple7)] Gary is nice.[(triple8)] Gary is not cold.[(triple6)] Gary is not smart.[(triple9)] Gary is not young.[(triple10)] Harry is cold.[(triple11)] Harry is furry.[(triple12)] Harry is nice.[(triple13 OR ((triple12 triple15) -> rule2) OR ((triple14 triple15) -> rule1))] Harry is rough.[(triple14)] Harry is white.[(triple15)] @1: Anne is white.[(((triple1 triple2) -> rule8))] Dave is not furry.[(((triple4 triple5) -> rule7))] Dave is not smart.[(((triple3 triple5) -> rule6))] Dave is rough.[(((triple5 triple3) -> rule3))] @2: Anne is not furry.[(((((triple1 triple2) -> rule8) triple2) -> rule7))] Dave is nice.[(((((triple5 triple3) -> rule3) triple4) -> rule1))]