Bob is green. Bob is white. Charlie is red. Erin is green. Erin is red. Gary is furry. Gary is green. Gary is red. Gary is white. Gary is young. If something is furry then it is round. If something is young and not green then it is furry. If something is quiet and round then it is not white.
Bob is not green.
@0: Bob is green.[(triple1)] Bob is white.[(triple2)] Charlie is red.[(triple3)] Erin is green.[(triple4)] Erin is red.[(triple5)] Gary is furry.[(triple6)] Gary is green.[(triple7)] Gary is red.[(triple8)] Gary is white.[(triple9)] Gary is young.[(triple10)] @1: Gary is round.[(((triple6) -> rule1))]