Anne is cold. Anne is green. Anne is kind. Anne is nice. Charlie is big. Charlie is cold. Dave is blue. Dave is smart. Gary is kind. Gary is nice. If Anne is kind and Anne is not green then Anne is not smart. If something is nice then it is cold.
Dave is not cold.
@0: Anne is cold.[(triple1 OR ((triple4) -> rule2))] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Charlie is big.[(triple5)] Charlie is cold.[(triple6)] Dave is blue.[(triple7)] Dave is smart.[(triple8)] Gary is kind.[(triple9)] Gary is nice.[(triple10)] @1: Gary is cold.[(((triple10) -> rule2))]