Bob is big. Bob is furry. Bob is green. Bob is kind. Bob is nice. Bob is red. Bob is white. Gary is big. Gary is furry. Gary is green. Gary is kind. Gary is nice. Gary is red. Gary is white. All white people are green. All big people are green.
Bob is not red.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3 OR ((triple1) -> rule2) OR ((triple7) -> rule1))] Bob is kind.[(triple4)] Bob is nice.[(triple5)] Bob is red.[(triple6)] Bob is white.[(triple7)] Gary is big.[(triple8)] Gary is furry.[(triple9)] Gary is green.[(triple10 OR ((triple14) -> rule1) OR ((triple8) -> rule2))] Gary is kind.[(triple11)] Gary is nice.[(triple12)] Gary is red.[(triple13)] Gary is white.[(triple14)]