Charlie is big. Charlie is blue. Charlie is quiet. Charlie is white. Erin is big. Erin is cold. Erin is kind. Erin is quiet. Erin is white. Harry is blue. If someone is cold then they are young.
Erin is not quiet.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is quiet.[(triple3)] Charlie is white.[(triple4)] Erin is big.[(triple5)] Erin is cold.[(triple6)] Erin is kind.[(triple7)] Erin is quiet.[(triple8)] Erin is white.[(triple9)] Harry is blue.[(triple10)] @1: Erin is young.[(((triple6) -> rule1))]