Bob is smart. Fiona is smart. Gary is smart. All green, nice people are round. Red, white people are green. If someone is nice and smart then they are white. Round, green people are red. If Fiona is round and Fiona is nice then Fiona is red. All nice, round people are smart. Round people are big. Big people are white.
Gary is not round.
@0: Bob is smart.[(triple1)] Fiona is smart.[(triple2)] Gary is smart.[(triple3)]