Bob is cold. Bob is green. Bob is quiet. Bob is round. Charlie is blue. Charlie is cold. Charlie is kind. Gary is kind. Harry is blue. Harry is kind. Harry is round. Harry is smart. If someone is green and round then they are blue. Kind, smart people are round.
Charlie is not round.
@0: Bob is cold.[(triple1)] Bob is green.[(triple2)] Bob is quiet.[(triple3)] Bob is round.[(triple4)] Charlie is blue.[(triple5)] Charlie is cold.[(triple6)] Charlie is kind.[(triple7)] Gary is kind.[(triple8)] Harry is blue.[(triple9)] Harry is kind.[(triple10)] Harry is round.[(triple11 OR ((triple10 triple12) -> rule2))] Harry is smart.[(triple12)] @1: Bob is blue.[(((triple2 triple4) -> rule1))]