Bob is green. Fiona is furry. Fiona is not young. If Bob is cold then Bob is smart. If Bob is not young then Bob is rough. Young things are furry. If something is young and cold then it is smart. All cold, smart things are round. All rough, smart things are green.
Bob is cold.
@0: Bob is green.[(triple1)] Fiona is furry.[(triple2)] Fiona is not young.[(triple3)]