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.
Fiona is not nice.
@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)]