Charlie is furry. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is white. Charlie is young. Erin is blue. Erin is furry. Erin is red. Erin is white. Gary is blue. Gary is furry. Gary is nice. Gary is white. Gary is young. All blue things are quiet.
Gary is white.
@0: Charlie is furry.[(triple1)] Charlie is nice.[(triple2)] Charlie is quiet.[(triple3)] Charlie is red.[(triple4)] Charlie is white.[(triple5)] Charlie is young.[(triple6)] Erin is blue.[(triple7)] Erin is furry.[(triple8)] Erin is red.[(triple9)] Erin is white.[(triple10)] Gary is blue.[(triple11)] Gary is furry.[(triple12)] Gary is nice.[(triple13)] Gary is white.[(triple14)] Gary is young.[(triple15)] @1: Erin is quiet.[(((triple7) -> rule1))] Gary is quiet.[(((triple11) -> rule1))]