Anne is big. Anne is not blue. Anne is green. Anne is kind. Anne is not red. Dave is big. Dave is red. Dave is rough. Dave is white. Harry is not big. Harry is blue. Harry is not green. Harry is kind. Harry is not red. Harry is rough. Harry is white. If something is rough then it is blue.
Harry is white.
@0: Anne is big.[(triple1)] Anne is green.[(triple3)] Anne is kind.[(triple4)] Anne is not blue.[(triple2)] Anne is not red.[(triple5)] Dave is big.[(triple6)] Dave is red.[(triple7)] Dave is rough.[(triple8)] Dave is white.[(triple9)] Harry is blue.[(triple11 OR ((triple15) -> rule1))] Harry is kind.[(triple13)] Harry is not big.[(triple10)] Harry is not green.[(triple12)] Harry is not red.[(triple14)] Harry is rough.[(triple15)] Harry is white.[(triple16)] @1: Dave is blue.[(((triple8) -> rule1))]