Bob is nice. Charlie is smart. Erin is nice. Fiona is kind. All kind, smart things are blue. All red things are big. If something is kind and blue then it is big. If something is red and nice then it is big. All blue things are big. Red, smart things are kind. Furry, nice things are big. If something is blue and smart then it is nice.
Bob is not big.
@0: Bob is nice.[(triple1)] Charlie is smart.[(triple2)] Erin is nice.[(triple3)] Fiona is kind.[(triple4)]