Anne is cold. Anne is green. Anne is white. Anne is not young. Dave is not big. Dave is cold. Dave is green. Dave is not quiet. Dave is young. Gary is big. Gary is cold. Gary is nice. If Anne is quiet and Anne is big then Anne is young. If something is green then it is nice. If Dave is white and Dave is not nice then Dave is cold.
Dave is not cold.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is not young.[(triple4)] Anne is white.[(triple3)] Dave is cold.[(triple6)] Dave is green.[(triple7)] Dave is not big.[(triple5)] Dave is not quiet.[(triple8)] Dave is young.[(triple9)] Gary is big.[(triple10)] Gary is cold.[(triple11)] Gary is nice.[(triple12)] @1: Anne is nice.[(((triple2) -> rule2))] Dave is nice.[(((triple7) -> rule2))]