Anne is cold. Anne is not furry. Anne is green. Anne is quiet. Anne is red. Anne is smart. Anne is white. Gary is cold. Gary is furry. Gary is green. Gary is quiet. Gary is red. Gary is not smart. Gary is white. If something is cold and furry then it is red.
Gary is cold.
@0: Anne is cold.[(triple1)] Anne is green.[(triple3)] Anne is not furry.[(triple2)] Anne is quiet.[(triple4)] Anne is red.[(triple5)] Anne is smart.[(triple6)] Anne is white.[(triple7)] Gary is cold.[(triple8)] Gary is furry.[(triple9)] Gary is green.[(triple10)] Gary is not smart.[(triple13)] Gary is quiet.[(triple11)] Gary is red.[(triple12 OR ((triple8 triple9) -> rule1))] Gary is white.[(triple14)]