Bob is furry. Bob is smart. Erin is not green. Erin is kind. Erin is rough. Erin is young. Gary is green. Gary is kind. Gary is rough. Gary is round. Gary is smart. Gary is not young. All green people are smart.
Bob is green.
@0: Bob is furry.[(triple1)] Bob is smart.[(triple2)] Erin is kind.[(triple4)] Erin is not green.[(triple3)] Erin is rough.[(triple5)] Erin is young.[(triple6)] Gary is green.[(triple7)] Gary is kind.[(triple8)] Gary is not young.[(triple12)] Gary is rough.[(triple9)] Gary is round.[(triple10)] Gary is smart.[(triple11 OR ((triple7) -> rule1))]