Bob is big. Charlie is cold. Dave is big. Gary is big. Gary is cold. Gary is white. Gary is young. If something is young then it is white. Nice things are blue.
Bob is not white.
@0: Bob is big.[(triple1)] Charlie is cold.[(triple2)] Dave is big.[(triple3)] Gary is big.[(triple4)] Gary is cold.[(triple5)] Gary is white.[(triple6 OR ((triple7) -> rule1))] Gary is young.[(triple7)]