Charlie is kind. Dave is white. Erin is round. Fiona is kind. Quiet things are big. If something is kind and blue then it is white. All blue things are big. If something is white and kind then it is round. All quiet, white things are big. If Dave is kind then Dave is blue.
Fiona is kind.
@0: Charlie is kind.[(triple1)] Dave is white.[(triple2)] Erin is round.[(triple3)] Fiona is kind.[(triple4)]