Bob is kind. Bob is nice. Bob is red. Bob is rough. Bob is white. Charlie is kind. Charlie is nice. Fiona is rough. Gary is red. Gary is round. If Charlie is young and Charlie is red then Charlie is nice. All round, kind people are nice.
Gary is not round.
@0: Bob is kind.[(triple1)] Bob is nice.[(triple2)] Bob is red.[(triple3)] Bob is rough.[(triple4)] Bob is white.[(triple5)] Charlie is kind.[(triple6)] Charlie is nice.[(triple7)] Fiona is rough.[(triple8)] Gary is red.[(triple9)] Gary is round.[(triple10)]