Charlie is kind. Charlie is nice. Erin is big. Erin is kind. Erin is white. Fiona is red. Gary is kind. All nice, big things are quiet. If Erin is kind and Erin is red then Erin is big. If something is quiet and nice then it is red.
Charlie is big.
@0: Charlie is kind.[(triple1)] Charlie is nice.[(triple2)] Erin is big.[(triple3)] Erin is kind.[(triple4)] Erin is white.[(triple5)] Fiona is red.[(triple6)] Gary is kind.[(triple7)]