Bob is furry. Bob is red. Bob is rough. Bob is young. Dave is green. Dave is rough. Dave is white. Dave is young. Gary is furry. Gary is rough. Rough people are young. If someone is furry then they are red.
Gary is green.
@0: Bob is furry.[(triple1)] Bob is red.[(triple2 OR ((triple1) -> rule2))] Bob is rough.[(triple3)] Bob is young.[(triple4 OR ((triple3) -> rule1))] Dave is green.[(triple5)] Dave is rough.[(triple6)] Dave is white.[(triple7)] Dave is young.[(triple8 OR ((triple6) -> rule1))] Gary is furry.[(triple9)] Gary is rough.[(triple10)] @1: Gary is red.[(((triple9) -> rule2))] Gary is young.[(((triple10) -> rule1))]