Bob is blue. Bob is red. Bob is white. Nice, white things are green. Red, round things are nice. Round, nice things are rough. If something is green then it is nice. All white, nice things are round. If Bob is round then Bob is red. All green, red things are round. If Bob is white then Bob is green.
Bob is not green.
@0: Bob is blue.[(triple1)] Bob is red.[(triple2 OR ((((triple3 ((((triple3) -> rule8)) -> rule4)) -> rule5)) -> rule6))] Bob is white.[(triple3)] @1: Bob is green.[(((triple3) -> rule8))] @2: Bob is nice.[(((((triple3) -> rule8)) -> rule4) OR ((triple2 ((((triple3) -> rule8) triple2) -> rule7)) -> rule2))] Bob is round.[(((((triple3) -> rule8) triple2) -> rule7) OR ((triple3 ((((triple3) -> rule8)) -> rule4)) -> rule5))] @3: Bob is rough.[(((((((triple3) -> rule8) triple2) -> rule7) ((((triple3) -> rule8)) -> rule4)) -> rule3) OR ((((triple3 ((((triple3) -> rule8)) -> rule4)) -> rule5) ((((triple3) -> rule8)) -> rule4)) -> rule3) OR ((((((triple3) -> rule8) triple2) -> rule7) ((triple2 ((((triple3) -> rule8) triple2) -> rule7)) -> rule2)) -> rule3) OR ((((triple3 ((((triple3) -> rule8)) -> rule4)) -> rule5) ((triple2 ((((triple3) -> rule8) triple2) -> rule7)) -> rule2)) -> rule3))]