Anne is blue. Anne is cold. Anne is kind. Anne is nice. Anne is quiet. Anne is white. Dave is cold. Dave is nice. Dave is quiet. Gary is nice. White things are kind. All cold things are white.
Dave is not white.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is kind.[(triple3 OR ((triple6) -> rule1) OR ((((triple2) -> rule2)) -> rule1))] Anne is nice.[(triple4)] Anne is quiet.[(triple5)] Anne is white.[(triple6 OR ((triple2) -> rule2))] Dave is cold.[(triple7)] Dave is nice.[(triple8)] Dave is quiet.[(triple9)] Gary is nice.[(triple10)] @1: Dave is white.[(((triple7) -> rule2))] @2: Dave is kind.[(((((triple7) -> rule2)) -> rule1))]