Anne is green. Bob is blue. Bob is cold. Bob is green. Bob is rough. Bob is round. Bob is white. Dave is blue. Dave is kind. Harry is blue. Harry is green. Harry is not kind. Harry is not rough. Harry is not round. Harry is white. If something is kind and not green then it is not rough. Kind things are white. If something is blue and not green then it is cold. If Anne is blue and Anne is kind then Anne is white. If something is blue and not kind then it is not round. If something is cold then it is round. All round, white things are blue. If something is green and not rough then it is blue.
Dave is green.
@0: Anne is green.[(triple1)] Bob is blue.[(triple2 OR ((triple6 triple7) -> rule7) OR ((((triple3) -> rule6) triple7) -> rule7))] Bob is cold.[(triple3)] Bob is green.[(triple4)] Bob is rough.[(triple5)] Bob is round.[(triple6 OR ((triple3) -> rule6))] Bob is white.[(triple7)] Dave is blue.[(triple8)] Dave is kind.[(triple9)] Harry is blue.[(triple10 OR ((triple11 triple13) -> rule8))] Harry is green.[(triple11)] Harry is not kind.[(triple12)] Harry is not rough.[(triple13)] Harry is not round.[(triple14 OR ((triple10 triple12) -> rule5) OR ((((triple11 triple13) -> rule8) triple12) -> rule5))] Harry is white.[(triple15)] @1: Dave is white.[(((triple9) -> rule2))]