Bob is big. Bob is blue. Bob is green. Bob is not kind. Bob is round. Bob is white. Bob is not young. If someone is white and blue then they are round.
Bob is green.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is green.[(triple3)] Bob is not kind.[(triple4)] Bob is not young.[(triple7)] Bob is round.[(triple5 OR ((triple6 triple2) -> rule1))] Bob is white.[(triple6)]