Anne is not green. Anne is kind. Anne is nice. Anne is round. Charlie is big. Charlie is green. Charlie is nice. Gary is not big. Gary is not kind. Gary is nice. Gary is round. Harry is green. Harry is not nice. Harry is rough. Harry is round. All smart, rough people are kind. If someone is round and not nice then they are kind. All green, big people are kind. If someone is green and not big then they are not rough. Kind, nice people are rough. If someone is rough and nice then they are round. All rough people are round. If someone is green and round then they are smart.
Charlie is rough.
@0: Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is not green.[(triple1)] Anne is round.[(triple4 OR ((((triple2 triple3) -> rule5)) -> rule7) OR ((((triple2 triple3) -> rule5) triple3) -> rule6))] Charlie is big.[(triple5)] Charlie is green.[(triple6)] Charlie is nice.[(triple7)] Gary is nice.[(triple10)] Gary is not big.[(triple8)] Gary is not kind.[(triple9)] Gary is round.[(triple11)] Harry is green.[(triple12)] Harry is not nice.[(triple13)] Harry is rough.[(triple14)] Harry is round.[(triple15 OR ((triple14) -> rule7))] @1: Anne is rough.[(((triple2 triple3) -> rule5))] Charlie is kind.[(((triple6 triple5) -> rule3))] Harry is kind.[(((triple15 triple13) -> rule2) OR ((((triple14) -> rule7) triple13) -> rule2) OR ((((triple12 triple15) -> rule8) triple14) -> rule1) OR ((((triple12 ((triple14) -> rule7)) -> rule8) triple14) -> rule1))] Harry is smart.[(((triple12 triple15) -> rule8) OR ((triple12 ((triple14) -> rule7)) -> rule8))] @2: Charlie is rough.[(((((triple6 triple5) -> rule3) triple7) -> rule5))] @3: Charlie is round.[(((((((triple6 triple5) -> rule3) triple7) -> rule5)) -> rule7) OR ((((((triple6 triple5) -> rule3) triple7) -> rule5) triple7) -> rule6))] @4: Charlie is smart.[(((triple6 ((((((triple6 triple5) -> rule3) triple7) -> rule5)) -> rule7)) -> rule8) OR ((triple6 ((((((triple6 triple5) -> rule3) triple7) -> rule5) triple7) -> rule6)) -> rule8))]