Anne is kind. Charlie is big. Erin is young. Blue, big things are kind. All big, kind things are nice. If Charlie is kind and Charlie is green then Charlie is young. If something is big and white then it is blue. If something is nice and green then it is white. If something is young then it is white. If something is big and young then it is kind. All nice, blue things are white.
Erin is not young.
@0: Anne is kind.[(triple1)] Charlie is big.[(triple2)] Erin is young.[(triple3)] @1: Erin is white.[(((triple3) -> rule6))]