Bob is red. Bob is smart. Bob is white. Green, blue things are big. Red things are rough. If Bob is white then Bob is green. All big, smart things are rough. If Bob is green and Bob is red then Bob is blue. If something is big and green then it is red.
Bob is not white.
@0: Bob is red.[(triple1)] Bob is smart.[(triple2)] Bob is white.[(triple3)] @1: Bob is green.[(((triple3) -> rule3))] Bob is rough.[(((triple1) -> rule2) OR ((((((triple3) -> rule3) ((((triple3) -> rule3) triple1) -> rule5)) -> rule1) triple2) -> rule4))] @2: Bob is blue.[(((((triple3) -> rule3) triple1) -> rule5))] @3: Bob is big.[(((((triple3) -> rule3) ((((triple3) -> rule3) triple1) -> rule5)) -> rule1))]