Bob is blue. Charlie is big. Erin is furry. Erin is not red. Gary is big. Gary is furry. Gary is not smart. Big people are not white. If someone is red and not smart then they are white.
Bob is not white.
@0: Bob is blue.[(triple1)] Charlie is big.[(triple2)] Erin is furry.[(triple3)] Erin is not red.[(triple4)] Gary is big.[(triple5)] Gary is furry.[(triple6)] Gary is not smart.[(triple7)] @1: Charlie is not white.[(((triple2) -> rule1))] Gary is not white.[(((triple5) -> rule1))]