Bob is furry. Bob is green. Bob is nice. Bob is round. Bob is smart. Gary is green. Gary is nice. Gary is rough. Gary is smart. Gary is white. If someone is white then they are furry.
Gary is smart.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2)] Bob is nice.[(triple3)] Bob is round.[(triple4)] Bob is smart.[(triple5)] Gary is green.[(triple6)] Gary is nice.[(triple7)] Gary is rough.[(triple8)] Gary is smart.[(triple9)] Gary is white.[(triple10)] @1: Gary is furry.[(((triple10) -> rule1))]