Bob is green. Bob is kind. Bob is white. Erin is big. Erin is green. Erin is kind. Erin is white. All kind people are blue. All white, green people are round.
Erin is rough.
@0: Bob is green.[(triple1)] Bob is kind.[(triple2)] Bob is white.[(triple3)] Erin is big.[(triple4)] Erin is green.[(triple5)] Erin is kind.[(triple6)] Erin is white.[(triple7)] @1: Bob is blue.[(((triple2) -> rule1))] Bob is round.[(((triple3 triple1) -> rule2))] Erin is blue.[(((triple6) -> rule1))] Erin is round.[(((triple7 triple5) -> rule2))]