Bob is blue. Bob is cold. Bob is kind. Bob is quiet. Bob is round. Bob is smart. Bob is white. If Bob is blue and Bob is kind then Bob is white. If something is round then it is quiet.
Bob is not smart.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is kind.[(triple3)] Bob is quiet.[(triple4 OR ((triple5) -> rule2))] Bob is round.[(triple5)] Bob is smart.[(triple6)] Bob is white.[(triple7 OR ((triple1 triple3) -> rule1))]