Bob is furry. Bob is white. Erin is furry. Erin is green. Erin is nice. Erin is young. Gary is furry. Gary is green. Gary is not kind. Gary is young. All white, round people are furry. All furry, green people are nice. If Gary is kind then Gary is young. If someone is white and not nice then they are not kind. If someone is round then they are kind. If someone is furry and not green then they are kind.
Bob is not nice.
@0: Bob is furry.[(triple1)] Bob is white.[(triple2)] Erin is furry.[(triple3)] Erin is green.[(triple4)] Erin is nice.[(triple5 OR ((triple3 triple4) -> rule2))] Erin is young.[(triple6)] Gary is furry.[(triple7)] Gary is green.[(triple8)] Gary is not kind.[(triple9)] Gary is young.[(triple10)] @1: Gary is nice.[(((triple7 triple8) -> rule2))]