Charlie is blue. Charlie is furry. Fiona is big. Fiona is blue. Fiona is furry. Fiona is young. Gary is big. All young things are white. If something is quiet then it is white.
Gary is not big.
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2)] Fiona is big.[(triple3)] Fiona is blue.[(triple4)] Fiona is furry.[(triple5)] Fiona is young.[(triple6)] Gary is big.[(triple7)] @1: Fiona is white.[(((triple6) -> rule1))]