Bob is rough. Charlie is blue. Gary is round. If someone is round and kind then they are blue. All blue people are quiet. All big, quiet people are green.
Bob is green.
@0: Bob is rough.[(triple1)] Charlie is blue.[(triple2)] Gary is round.[(triple3)] @1: Charlie is quiet.[(((triple2) -> rule2))]