Anne is not smart. Bob is round. Charlie is white. Harry is red. If Bob is nice and Bob is rough then Bob is white. Round people are red. If someone is rough then they are red. If someone is smart and white then they are not round. If someone is nice and not smart then they are round. All red, green people are white. If someone is green then they are rough. If Anne is nice then Anne is not red.
Bob is green.
@0: Anne is not smart.[(triple1)] Bob is round.[(triple2)] Charlie is white.[(triple3)] Harry is red.[(triple4)] @1: Bob is red.[(((triple2) -> rule2))]