Bob is big. All green, rough things are blue. If something is green then it is white. All big things are white. If Bob is not big then Bob is rough. If Bob is green and Bob is not furry then Bob is not rough. If something is green and white then it is rough. All rough things are red. If Bob is red and Bob is furry then Bob is white.
Bob is furry.
@0: Bob is big.[(triple1)] @1: Bob is white.[(((triple1) -> rule3))]