Bob is young. If Bob is young then Bob is blue. White, round people are blue. If someone is young then they are blue. If someone is smart then they are round. If someone is furry and white then they are young. All blue, young people are smart. Furry people are white. Smart, green people are white.
Bob is smart.
@0: Bob is young.[(triple1)] @1: Bob is blue.[(((triple1) -> rule1) OR ((triple1) -> rule3))] @2: Bob is smart.[(((((triple1) -> rule1) triple1) -> rule6) OR ((((triple1) -> rule3) triple1) -> rule6))] @3: Bob is round.[(((((((triple1) -> rule1) triple1) -> rule6)) -> rule4) OR ((((((triple1) -> rule3) triple1) -> rule6)) -> rule4))]