Anne is cold. Anne is green. Anne is not white. Anne is young. Bob is nice. Bob is quiet. Charlie is blue. Charlie is white. Gary is blue. Gary is not cold. Gary is not green. Gary is nice. Gary is quiet. Gary is white. Gary is young. If someone is cold then they are nice. All nice, green people are not quiet. If Charlie is green then Charlie is nice. If Anne is quiet and Anne is not blue then Anne is cold. If someone is cold then they are young. If Anne is cold and Anne is young then Anne is green.
Charlie is quiet.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2 OR ((triple1 triple4) -> rule6) OR ((triple1 ((triple1) -> rule5)) -> rule6))] Anne is not white.[(triple3)] Anne is young.[(triple4 OR ((triple1) -> rule5))] Bob is nice.[(triple5)] Bob is quiet.[(triple6)] Charlie is blue.[(triple7)] Charlie is white.[(triple8)] Gary is blue.[(triple9)] Gary is nice.[(triple12)] Gary is not cold.[(triple10)] Gary is not green.[(triple11)] Gary is quiet.[(triple13)] Gary is white.[(triple14)] Gary is young.[(triple15)] @1: Anne is nice.[(((triple1) -> rule1))] @2: Anne is not quiet.[(((((triple1) -> rule1) triple2) -> rule2) OR ((((triple1) -> rule1) ((triple1 triple4) -> rule6)) -> rule2) OR ((((triple1) -> rule1) ((triple1 ((triple1) -> rule5)) -> rule6)) -> rule2))]