Bob is big. Charlie is green. Charlie is quiet. Charlie is white. Dave is big. Dave is white. Gary is kind. White, green things are round.
Charlie is round.
@0: Bob is big.[(triple1)] Charlie is green.[(triple2)] Charlie is quiet.[(triple3)] Charlie is white.[(triple4)] Dave is big.[(triple5)] Dave is white.[(triple6)] Gary is kind.[(triple7)] @1: Charlie is round.[(((triple4 triple2) -> rule1))]