Anne is furry. Anne is kind. Anne is quiet. Anne is red. Anne is rough. Anne is round. Anne is smart. Charlie is furry. Charlie is kind. Charlie is red. Charlie is rough. Charlie is round. Charlie is smart. Gary is rough. Gary is smart. Harry is kind. If someone is smart then they are rough. Round, red people are kind.
Gary is not kind.
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2 OR ((triple6 triple4) -> rule2))] Anne is quiet.[(triple3)] Anne is red.[(triple4)] Anne is rough.[(triple5 OR ((triple7) -> rule1))] Anne is round.[(triple6)] Anne is smart.[(triple7)] Charlie is furry.[(triple8)] Charlie is kind.[(triple9 OR ((triple12 triple10) -> rule2))] Charlie is red.[(triple10)] Charlie is rough.[(triple11 OR ((triple13) -> rule1))] Charlie is round.[(triple12)] Charlie is smart.[(triple13)] Gary is rough.[(triple14 OR ((triple15) -> rule1))] Gary is smart.[(triple15)] Harry is kind.[(triple16)]