Bob is big. If Bob is big then Bob is red. Red people are blue. If Bob is young then Bob is big. If someone is quiet then they are nice. If Bob is red and Bob is blue then Bob is quiet. If Bob is nice and Bob is not big then Bob is blue. If someone is red then they are green. Nice people are green.
Bob is red.
@0: Bob is big.[(triple1)] @1: Bob is red.[(((triple1) -> rule1))] @2: Bob is blue.[(((((triple1) -> rule1)) -> rule2))] Bob is green.[(((((triple1) -> rule1)) -> rule7) OR ((((((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule2)) -> rule5)) -> rule4)) -> rule8))] @3: Bob is quiet.[(((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule2)) -> rule5))] @4: Bob is nice.[(((((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule2)) -> rule5)) -> rule4))]