Bob is blue. Charlie is not cold. Erin is blue. Fiona is not furry. All cold things are big. Big things are cold. Cold things are rough.
Fiona is smart.
@0: Bob is blue.[(triple1)] Charlie is not cold.[(triple2)] Erin is blue.[(triple3)] Fiona is not furry.[(triple4)]