Bob is blue. Bob is green. Bob is white. Dave is big. Dave is not green. Dave is not kind. Dave is not red. Gary is big. Gary is green. Gary is kind. Gary is red. Gary is round. Big, green things are round. If something is round and not white then it is red.
Gary is red.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2)] Bob is white.[(triple3)] Dave is big.[(triple4)] Dave is not green.[(triple5)] Dave is not kind.[(triple6)] Dave is not red.[(triple7)] Gary is big.[(triple8)] Gary is green.[(triple9)] Gary is kind.[(triple10)] Gary is red.[(triple11)] Gary is round.[(triple12 OR ((triple8 triple9) -> rule1))]