Bob is green. Bob is not white. Dave is furry. Dave is red. Dave is white. Dave is young. Gary is blue. Gary is furry. Gary is green. Gary is nice. Gary is white. Gary is young. All blue things are green.
Bob is white.
@0: Bob is green.[(triple1)] Bob is not white.[(triple2)] Dave is furry.[(triple3)] Dave is red.[(triple4)] Dave is white.[(triple5)] Dave is young.[(triple6)] Gary is blue.[(triple7)] Gary is furry.[(triple8)] Gary is green.[(triple9 OR ((triple7) -> rule1))] Gary is nice.[(triple10)] Gary is white.[(triple11)] Gary is young.[(triple12)]