Bob is furry. Bob is green. Erin is blue. Erin is cold. Erin is furry. Erin is kind. Erin is white. Kind, blue things are round.
Erin is not round.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2)] Erin is blue.[(triple3)] Erin is cold.[(triple4)] Erin is furry.[(triple5)] Erin is kind.[(triple6)] Erin is white.[(triple7)] @1: Erin is round.[(((triple6 triple3) -> rule1))]