Bob is blue. Bob is not cold. Bob is furry. Bob is rough. Bob is not round. Bob is not smart. Bob is white. If something is white and not cold then it is blue. Blue things are not round. All smart things are not white. If Bob is cold then Bob is round. If Bob is white then Bob is not round. If something is cold and not white then it is furry. If something is smart then it is furry. If something is smart and not furry then it is rough.
Bob is not blue.
@0: Bob is blue.[(triple1 OR ((triple7 triple2) -> rule1))] Bob is furry.[(triple3)] Bob is not cold.[(triple2)] Bob is not round.[(triple5 OR ((triple1) -> rule2) OR ((triple7) -> rule5) OR ((((triple7 triple2) -> rule1)) -> rule2))] Bob is not smart.[(triple6)] Bob is rough.[(triple4)] Bob is white.[(triple7)]