Gary is blue. Gary is furry. Gary is green. Gary is nice. Gary is quiet. Gary is red. Gary is young. All blue, furry people are green. Red, green people are blue.
Gary is green.
@0: Gary is blue.[(triple1 OR ((triple6 triple3) -> rule2))] Gary is furry.[(triple2)] Gary is green.[(triple3 OR ((triple1 triple2) -> rule1))] Gary is nice.[(triple4)] Gary is quiet.[(triple5)] Gary is red.[(triple6)] Gary is young.[(triple7)]