Charlie is smart. Dave is red. Fiona is smart. Harry is blue. All red, rough things are not white. All red, big things are blue. White things are big.
Fiona is not blue.
@0: Charlie is smart.[(triple1)] Dave is red.[(triple2)] Fiona is smart.[(triple3)] Harry is blue.[(triple4)]