Bob is big. Bob is furry. Bob is green. Bob is red. Bob is rough. Bob is round. Bob is smart. Dave is red. Dave is round. Dave is smart. Gary is green. Gary is red. Harry is big. Harry is red. Harry is smart. If something is smart and rough then it is green. Big, furry things are red. If something is round then it is red.
Harry is not green.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3 OR ((triple7 triple5) -> rule1))] Bob is red.[(triple4 OR ((triple6) -> rule3) OR ((triple1 triple2) -> rule2))] Bob is rough.[(triple5)] Bob is round.[(triple6)] Bob is smart.[(triple7)] Dave is red.[(triple8 OR ((triple9) -> rule3))] Dave is round.[(triple9)] Dave is smart.[(triple10)] Gary is green.[(triple11)] Gary is red.[(triple12)] Harry is big.[(triple13)] Harry is red.[(triple14)] Harry is smart.[(triple15)]