Bob is smart. Charlie is blue. Charlie is round. If something is blue then it is round. All blue, young things are round. If something is cold then it is round. If something is cold and blue then it is round. All red, big things are young. If something is blue and smart then it is young.
Bob is not smart.
@0: Bob is smart.[(triple1)] Charlie is blue.[(triple2)] Charlie is round.[(triple3 OR ((triple2) -> rule1))]