Anne is blue. Anne is young. Dave is not cold. Dave is not smart. Gary is blue. Gary is nice. Gary is not smart. Blue things are not cold. If something is smart and not young then it is kind. If something is rough then it is not kind. Cold things are not blue. All nice things are rough. Cold, young things are not rough. Blue things are nice. If something is cold then it is nice.
Dave is not kind.
@0: Anne is blue.[(triple1)] Anne is young.[(triple2)] Dave is not cold.[(triple3)] Dave is not smart.[(triple4)] Gary is blue.[(triple5)] Gary is nice.[(triple6 OR ((triple5) -> rule7))] Gary is not smart.[(triple7)] @1: Anne is nice.[(((triple1) -> rule7))] Anne is not cold.[(((triple1) -> rule1))] Gary is not cold.[(((triple5) -> rule1))] Gary is rough.[(((triple6) -> rule5) OR ((((triple5) -> rule7)) -> rule5))] @2: Anne is rough.[(((((triple1) -> rule7)) -> rule5))] Gary is not kind.[(((((triple6) -> rule5)) -> rule3) OR ((((((triple5) -> rule7)) -> rule5)) -> rule3))] @3: Anne is not kind.[(((((((triple1) -> rule7)) -> rule5)) -> rule3))]