Charlie is round. Gary is rough. If something is red then it is big. If Gary is green then Gary is rough. All rough, big things are round. All round, rough things are red. If something is round and green then it is big. If something is quiet then it is white.
Charlie is green.
@0: Charlie is round.[(triple1)] Gary is rough.[(triple2)]