Bob is blue. Bob is furry. Bob is kind. Bob is smart. Bob is white. Erin is big. Erin is not blue. Erin is not rough. Erin is smart. Erin is white. If someone is furry and white then they are not big.
Erin is kind.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is kind.[(triple3)] Bob is smart.[(triple4)] Bob is white.[(triple5)] Erin is big.[(triple6)] Erin is not blue.[(triple7)] Erin is not rough.[(triple8)] Erin is smart.[(triple9)] Erin is white.[(triple10)] @1: Bob is not big.[(((triple2 triple5) -> rule1))]