Bob is furry. Bob is kind. Bob is young. Erin is big. Erin is not furry. Erin is kind. Erin is not white. If Erin is green then Erin is furry. If someone is rough and not young then they are kind. If Bob is kind then Bob is white. All green people are not big. If Bob is big and Bob is young then Bob is not rough. If someone is rough and not kind then they are not furry.
Bob is kind.
@0: Bob is furry.[(triple1)] Bob is kind.[(triple2)] Bob is young.[(triple3)] Erin is big.[(triple4)] Erin is kind.[(triple6)] Erin is not furry.[(triple5)] Erin is not white.[(triple7)] @1: Bob is white.[(((triple2) -> rule3))]