Bob is big. Charlie is big. Charlie is furry. Erin is big. Gary is big. Gary is furry. Gary is young. All furry people are white.
Erin is round.
@0: Bob is big.[(triple1)] Charlie is big.[(triple2)] Charlie is furry.[(triple3)] Erin is big.[(triple4)] Gary is big.[(triple5)] Gary is furry.[(triple6)] Gary is young.[(triple7)] @1: Charlie is white.[(((triple3) -> rule1))] Gary is white.[(((triple6) -> rule1))]