Bob is blue. Fiona is cold. Fiona is smart. If someone is round and green then they are nice. All nice, cold people are smart. All round people are smart.
Fiona is smart.
@0: Bob is blue.[(triple1)] Fiona is cold.[(triple2)] Fiona is smart.[(triple3)]