Charlie is big. Charlie is cold. Charlie is green. Charlie is kind. Charlie is smart. Erin is big. Erin is cold. Erin is quiet. Erin is smart. Erin is young. Smart, kind people are young.
Erin is not green.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Charlie is green.[(triple3)] Charlie is kind.[(triple4)] Charlie is smart.[(triple5)] Erin is big.[(triple6)] Erin is cold.[(triple7)] Erin is quiet.[(triple8)] Erin is smart.[(triple9)] Erin is young.[(triple10)] @1: Charlie is young.[(((triple5 triple4) -> rule1))]