Bob is blue. Bob is cold. Bob is furry. Bob is not kind. Erin is big. Erin is not blue. Erin is cold. Erin is furry. Erin is rough. Erin is smart. All smart, cold people are kind.
Bob is big.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is not kind.[(triple4)] Erin is big.[(triple5)] Erin is cold.[(triple7)] Erin is furry.[(triple8)] Erin is not blue.[(triple6)] Erin is rough.[(triple9)] Erin is smart.[(triple10)] @1: Erin is kind.[(((triple10 triple7) -> rule1))]