Anne is blue. Anne is kind. Erin is young. If someone is kind and nice then they are furry. Nice people are blue. Kind people are big. All young people are white. Young, kind people are nice. If someone is young and furry then they are nice.
Erin is not young.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2)] Erin is young.[(triple3)] @1: Anne is big.[(((triple2) -> rule3))] Erin is white.[(((triple3) -> rule4))]