Bob is cold. Bob is not kind. Bob is quiet. Bob is not red. Bob is rough. Bob is not smart. Bob is white. If someone is red then they are smart. Red, white people are smart. If someone is smart then they are red. Kind people are not cold. If someone is smart and not white then they are not rough. If Bob is not red then Bob is rough. If someone is rough then they are quiet. All kind people are not quiet.
Bob is smart.
@0: Bob is cold.[(triple1)] Bob is not kind.[(triple2)] Bob is not red.[(triple4)] Bob is not smart.[(triple6)] Bob is quiet.[(triple3 OR ((triple5) -> rule7) OR ((((triple4) -> rule6)) -> rule7))] Bob is rough.[(triple5 OR ((triple4) -> rule6))] Bob is white.[(triple7)]