Bob is blue. Bob is furry. Bob is nice. Bob is rough. Bob is smart. Bob is white. Gary is blue. Gary is cold. Gary is furry. Gary is white. All cold people are nice. All blue people are nice.
Gary is not smart.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is nice.[(triple3 OR ((triple1) -> rule2))] Bob is rough.[(triple4)] Bob is smart.[(triple5)] Bob is white.[(triple6)] Gary is blue.[(triple7)] Gary is cold.[(triple8)] Gary is furry.[(triple9)] Gary is white.[(triple10)] @1: Gary is nice.[(((triple7) -> rule2) OR ((triple8) -> rule1))]