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