Anne is not blue. Anne is furry. Anne is green. Anne is quiet. Anne is round. Anne is not smart. Anne is white. Gary is not blue. Gary is furry. Gary is not green. Gary is quiet. Gary is round. Gary is smart. Gary is white. If Anne is quiet and Anne is furry then Anne is green. Smart, green things are quiet.
Gary is not round.
@0: Anne is furry.[(triple2)] Anne is green.[(triple3 OR ((triple4 triple2) -> rule1))] Anne is not blue.[(triple1)] Anne is not smart.[(triple6)] Anne is quiet.[(triple4)] Anne is round.[(triple5)] Anne is white.[(triple7)] Gary is furry.[(triple9)] Gary is not blue.[(triple8)] Gary is not green.[(triple10)] Gary is quiet.[(triple11)] Gary is round.[(triple12)] Gary is smart.[(triple13)] Gary is white.[(triple14)]