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