Anne is blue. Anne is cold. Anne is quiet. Anne is red. Anne is rough. Dave is blue. Dave is cold. Dave is quiet. Dave is red. Dave is rough. Dave is round. Dave is white. Gary is cold. Gary is quiet. Gary is rough. Gary is white. Cold things are blue.
Anne is not white.
@0: Anne is blue.[(triple1 OR ((triple2) -> rule1))] Anne is cold.[(triple2)] Anne is quiet.[(triple3)] Anne is red.[(triple4)] Anne is rough.[(triple5)] Dave is blue.[(triple6 OR ((triple7) -> rule1))] Dave is cold.[(triple7)] Dave is quiet.[(triple8)] Dave is red.[(triple9)] Dave is rough.[(triple10)] Dave is round.[(triple11)] Dave is white.[(triple12)] Gary is cold.[(triple13)] Gary is quiet.[(triple14)] Gary is rough.[(triple15)] Gary is white.[(triple16)] @1: Gary is blue.[(((triple13) -> rule1))]