Dave is kind. Erin is not big. Erin is young. Gary is kind. Gary is young. Harry is green. Harry is kind. Big people are smart. All cold, kind people are big. If Erin is big and Erin is green then Erin is kind.
Gary is young.
@0: Dave is kind.[(triple1)] Erin is not big.[(triple2)] Erin is young.[(triple3)] Gary is kind.[(triple4)] Gary is young.[(triple5)] Harry is green.[(triple6)] Harry is kind.[(triple7)]