Bob is round. Charlie is white. Erin is rough. If Charlie is white and Charlie is round then Charlie is rough. All red things are rough. If something is red and round then it is rough. If something is white and furry then it is kind. If something is kind then it is green. If something is red and rough then it is round.
Erin is rough.
@0: Bob is round.[(triple1)] Charlie is white.[(triple2)] Erin is rough.[(triple3)]