Bob is blue. Bob is kind. Bob is quiet. Bob is red. Bob is smart. Bob is white. Bob is young. All white, blue people are young. If someone is smart then they are quiet.
Bob is not blue.
@0: Bob is blue.[(triple1)] Bob is kind.[(triple2)] Bob is quiet.[(triple3 OR ((triple5) -> rule2))] Bob is red.[(triple4)] Bob is smart.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7 OR ((triple6 triple1) -> rule1))]