Bob is rough. Charlie is nice. Gary is kind. Gary is nice. Gary is quiet. Gary is smart. Harry is cold. If Gary is smart then Gary is kind. Kind people are smart. If Harry is blue and Harry is cold then Harry is smart. All nice, smart people are kind. All cold, blue people are quiet. Rough people are kind. All quiet people are nice. If Harry is nice and Harry is quiet then Harry is kind.
Bob is not smart.
@0: Bob is rough.[(triple1)] Charlie is nice.[(triple2)] Gary is kind.[(triple3 OR ((triple6) -> rule1) OR ((triple4 triple6) -> rule4) OR ((((triple5) -> rule7) triple6) -> rule4))] Gary is nice.[(triple4 OR ((triple5) -> rule7))] Gary is quiet.[(triple5)] Gary is smart.[(triple6 OR ((triple3) -> rule2))] Harry is cold.[(triple7)] @1: Bob is kind.[(((triple1) -> rule6))] @2: Bob is smart.[(((((triple1) -> rule6)) -> rule2))]