Bob is blue. Bob is furry. Bob is white. If something is red then it is big. If something is furry then it is blue. Furry things are nice. If Bob is red then Bob is furry. All blue, red things are green. All white things are red.
Bob is blue.
@0: Bob is blue.[(triple1 OR ((triple2) -> rule2) OR ((((((triple3) -> rule6)) -> rule4)) -> rule2))] Bob is furry.[(triple2 OR ((((triple3) -> rule6)) -> rule4))] Bob is white.[(triple3)] @1: Bob is nice.[(((triple2) -> rule3) OR ((((((triple3) -> rule6)) -> rule4)) -> rule3))] Bob is red.[(((triple3) -> rule6))] @2: Bob is big.[(((((triple3) -> rule6)) -> rule1))] Bob is green.[(((triple1 ((triple3) -> rule6)) -> rule5) OR ((((triple2) -> rule2) ((triple3) -> rule6)) -> rule5) OR ((((((((triple3) -> rule6)) -> rule4)) -> rule2) ((triple3) -> rule6)) -> rule5))]