Anne is cold. Anne is furry. Anne is rough. Charlie is blue. Charlie is not cold. Charlie is furry. Charlie is quiet. Charlie is white. Dave is blue. Dave is quiet. Dave is rough. Gary is blue. Gary is cold. Gary is not furry. Gary is green. Gary is not quiet. All rough, green things are cold. All blue, white things are rough. Green, blue things are not rough.
Anne is cold.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is rough.[(triple3)] Charlie is blue.[(triple4)] Charlie is furry.[(triple6)] Charlie is not cold.[(triple5)] Charlie is quiet.[(triple7)] Charlie is white.[(triple8)] Dave is blue.[(triple9)] Dave is quiet.[(triple10)] Dave is rough.[(triple11)] Gary is blue.[(triple12)] Gary is cold.[(triple13)] Gary is green.[(triple15)] Gary is not furry.[(triple14)] Gary is not quiet.[(triple16)] @1: Charlie is rough.[(((triple4 triple8) -> rule2))] Gary is not rough.[(((triple15 triple12) -> rule3))]