Charlie is red. Erin is big. Erin is green. Erin is quiet. Harry is kind. Harry is red. Harry is young. If Erin is blue and Erin is young then Erin is green. Kind, green things are quiet.
Charlie is blue.
@0: Charlie is red.[(triple1)] Erin is big.[(triple2)] Erin is green.[(triple3)] Erin is quiet.[(triple4)] Harry is kind.[(triple5)] Harry is red.[(triple6)] Harry is young.[(triple7)]