Bob is furry. Bob is green. Bob is white. Round, kind things are nice. All white things are nice. All furry things are kind. All green, white things are round. If something is white then it is round. All furry things are kind. Blue, green things are kind. All green, nice things are round.
Bob is not green.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2)] Bob is white.[(triple3)] @1: Bob is kind.[(((triple1) -> rule3) OR ((triple1) -> rule6))] Bob is nice.[(((triple3) -> rule2) OR ((((triple3) -> rule5) ((triple1) -> rule3)) -> rule1) OR ((((triple3) -> rule5) ((triple1) -> rule6)) -> rule1) OR ((((triple2 triple3) -> rule4) ((triple1) -> rule3)) -> rule1) OR ((((triple2 triple3) -> rule4) ((triple1) -> rule6)) -> rule1))] Bob is round.[(((triple3) -> rule5) OR ((triple2 triple3) -> rule4) OR ((triple2 ((triple3) -> rule2)) -> rule8))]