Bob is green. Bob is nice. Bob is white. Charlie is blue. Charlie is cold. Charlie is green. Charlie is nice. Charlie is round. Charlie is smart. Charlie is white. Blue things are round.
Charlie is smart.
@0: Bob is green.[(triple1)] Bob is nice.[(triple2)] Bob is white.[(triple3)] Charlie is blue.[(triple4)] Charlie is cold.[(triple5)] Charlie is green.[(triple6)] Charlie is nice.[(triple7)] Charlie is round.[(triple8 OR ((triple4) -> rule1))] Charlie is smart.[(triple9)] Charlie is white.[(triple10)]