Bob is round. Charlie is nice. White, blue things are round. Nice things are round.
Charlie is nice.
@0: Bob is round.[(triple1)] Charlie is nice.[(triple2)] @1: Charlie is round.[(((triple2) -> rule2))]