Bob is cold. Bob is kind. Bob is white. Fiona is blue. Fiona is cold. Fiona is kind. Fiona is red. Fiona is round. Fiona is smart. Fiona is white. If Bob is smart then Bob is blue.
Fiona is round.
@0: Bob is cold.[(triple1)] Bob is kind.[(triple2)] Bob is white.[(triple3)] Fiona is blue.[(triple4)] Fiona is cold.[(triple5)] Fiona is kind.[(triple6)] Fiona is red.[(triple7)] Fiona is round.[(triple8)] Fiona is smart.[(triple9)] Fiona is white.[(triple10)]