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