Charlie is cold. Erin is furry. Erin is white. Furry, white people are kind.
Erin is not white.
@0: Charlie is cold.[(triple1)] Erin is furry.[(triple2)] Erin is white.[(triple3)] @1: Erin is kind.[(((triple2 triple3) -> rule1))]