Anne is cold. Dave is not green. Erin is quiet. Gary is young. If someone is green and not cold then they are young. If someone is furry then they are not young. If someone is quiet then they are young. If Anne is young and Anne is furry then Anne is quiet. If someone is green then they are kind. If someone is cold and not quiet then they are rough.
Anne is cold.
@0: Anne is cold.[(triple1)] Dave is not green.[(triple2)] Erin is quiet.[(triple3)] Gary is young.[(triple4)] @1: Erin is young.[(((triple3) -> rule3))]