Bob is smart. Charlie is blue. Charlie is young. Gary is blue. Gary is round. Harry is blue. Harry is nice. Harry is quiet. Harry is rough. Harry is round. Smart people are blue. If someone is rough then they are quiet. All smart people are nice. If Gary is quiet then Gary is smart. Round people are quiet. If someone is round and young then they are smart. If someone is young and blue then they are round. Round people are blue.
Harry is nice.
@0: Bob is smart.[(triple1)] Charlie is blue.[(triple2)] Charlie is young.[(triple3)] Gary is blue.[(triple4 OR ((triple5) -> rule8) OR ((((((triple5) -> rule5)) -> rule4)) -> rule1))] Gary is round.[(triple5)] Harry is blue.[(triple6 OR ((triple10) -> rule8))] Harry is nice.[(triple7)] Harry is quiet.[(triple8 OR ((triple10) -> rule5) OR ((triple9) -> rule2))] Harry is rough.[(triple9)] Harry is round.[(triple10)] @1: Bob is blue.[(((triple1) -> rule1))] Bob is nice.[(((triple1) -> rule3))] Charlie is round.[(((triple3 triple2) -> rule7))] Gary is quiet.[(((triple5) -> rule5))] @2: Charlie is quiet.[(((((triple3 triple2) -> rule7)) -> rule5))] Charlie is smart.[(((((triple3 triple2) -> rule7) triple3) -> rule6))] Gary is smart.[(((((triple5) -> rule5)) -> rule4))] @3: Charlie is nice.[(((((((triple3 triple2) -> rule7) triple3) -> rule6)) -> rule3))] Gary is nice.[(((((((triple5) -> rule5)) -> rule4)) -> rule3))]