Charlie is furry. Fiona is not nice. Gary is not smart. If someone is blue and not smart then they are nice. If someone is rough and nice then they are blue. All blue people are kind.
Gary is not smart.
@0: Charlie is furry.[(triple1)] Fiona is not nice.[(triple2)] Gary is not smart.[(triple3)]