Anne is kind. Bob is blue. Bob is smart. Charlie is green. Harry is cold. Harry is kind. Harry is quiet. If someone is round then they are not green. If Anne is round then Anne is green. All green people are cold. Blue, green people are not cold. If Bob is quiet and Bob is smart then Bob is not cold. If someone is quiet then they are kind. All quiet, blue people are kind. If someone is quiet and green then they are smart.
Bob is smart.
@0: Anne is kind.[(triple1)] Bob is blue.[(triple2)] Bob is smart.[(triple3)] Charlie is green.[(triple4)] Harry is cold.[(triple5)] Harry is kind.[(triple6 OR ((triple7) -> rule6))] Harry is quiet.[(triple7)] @1: Charlie is cold.[(((triple4) -> rule3))]