Anne is red. Dave is white. Erin is red. Fiona is big. All blue, rough things are kind. Young, rough things are blue. All kind things are blue. All red, kind things are blue. If something is blue and kind then it is big. If Dave is rough then Dave is red.
Fiona is red.
@0: Anne is red.[(triple1)] Dave is white.[(triple2)] Erin is red.[(triple3)] Fiona is big.[(triple4)]