Anne is not blue. Anne is cold. Anne is kind. Anne is quiet. Anne is rough. Anne is round. Anne is not young. Bob is blue. Bob is cold. Bob is quiet. Bob is rough. Bob is young. Harry is not blue. Harry is not cold. Harry is kind. Harry is young. All quiet, blue people are kind.
Harry is round.
@0: Anne is cold.[(triple2)] Anne is kind.[(triple3)] Anne is not blue.[(triple1)] Anne is not young.[(triple7)] Anne is quiet.[(triple4)] Anne is rough.[(triple5)] Anne is round.[(triple6)] Bob is blue.[(triple8)] Bob is cold.[(triple9)] Bob is quiet.[(triple10)] Bob is rough.[(triple11)] Bob is young.[(triple12)] Harry is kind.[(triple15)] Harry is not blue.[(triple13)] Harry is not cold.[(triple14)] Harry is young.[(triple16)] @1: Bob is kind.[(((triple10 triple8) -> rule1))]