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