Bob is not blue. Bob is furry. Bob is green. Bob is not quiet. Bob is rough. Bob is round. Bob is young. Erin is blue. Erin is furry. Erin is quiet. Erin is round. Erin is young. Fiona is furry. Gary is not furry. Gary is not round. Gary is young. Quiet, round people are green.
Gary is not green.
@0: Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is not blue.[(triple1)] Bob is not quiet.[(triple4)] Bob is rough.[(triple5)] Bob is round.[(triple6)] Bob is young.[(triple7)] Erin is blue.[(triple8)] Erin is furry.[(triple9)] Erin is quiet.[(triple10)] Erin is round.[(triple11)] Erin is young.[(triple12)] Fiona is furry.[(triple13)] Gary is not furry.[(triple14)] Gary is not round.[(triple15)] Gary is young.[(triple16)] @1: Erin is green.[(((triple10 triple11) -> rule1))]