Anne is blue. Anne is quiet. Anne is smart. Bob is red. Bob is smart. Charlie is blue. Charlie is red. Charlie is young. Gary is blue. Gary is green. Gary is quiet. Gary is white. Red, blue people are young.
Gary is blue.
@0: Anne is blue.[(triple1)] Anne is quiet.[(triple2)] Anne is smart.[(triple3)] Bob is red.[(triple4)] Bob is smart.[(triple5)] Charlie is blue.[(triple6)] Charlie is red.[(triple7)] Charlie is young.[(triple8 OR ((triple7 triple6) -> rule1))] Gary is blue.[(triple9)] Gary is green.[(triple10)] Gary is quiet.[(triple11)] Gary is white.[(triple12)]