Anne is green. Anne is nice. Anne is red. Anne is round. Bob is cold. Bob is green. Bob is quiet. Bob is round. Bob is white. Gary is cold. Gary is green. Gary is nice. Gary is quiet. Gary is red. Gary is round. Gary is white. If Gary is nice then Gary is red. If someone is cold then they are white.
Anne is not nice.
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Anne is red.[(triple3)] Anne is round.[(triple4)] Bob is cold.[(triple5)] Bob is green.[(triple6)] Bob is quiet.[(triple7)] Bob is round.[(triple8)] Bob is white.[(triple9 OR ((triple5) -> rule2))] Gary is cold.[(triple10)] Gary is green.[(triple11)] Gary is nice.[(triple12)] Gary is quiet.[(triple13)] Gary is red.[(triple14 OR ((triple12) -> rule1))] Gary is round.[(triple15)] Gary is white.[(triple16 OR ((triple10) -> rule2))]