Bob is green. Bob is red. Bob is young. Green, young people are red. All red, rough people are nice. Green people are white. If someone is red then they are white. If someone is red and young then they are white. All young, white people are rough.
Bob is young.
@0: Bob is green.[(triple1)] Bob is red.[(triple2 OR ((triple1 triple3) -> rule1))] Bob is young.[(triple3)] @1: Bob is white.[(((triple1) -> rule3) OR ((triple2) -> rule4) OR ((triple2 triple3) -> rule5) OR ((((triple1 triple3) -> rule1)) -> rule4) OR ((((triple1 triple3) -> rule1) triple3) -> rule5))] @2: Bob is rough.[(((triple3 ((triple1) -> rule3)) -> rule6) OR ((triple3 ((triple2) -> rule4)) -> rule6) OR ((triple3 ((triple2 triple3) -> rule5)) -> rule6) OR ((triple3 ((((triple1 triple3) -> rule1)) -> rule4)) -> rule6) OR ((triple3 ((((triple1 triple3) -> rule1) triple3) -> rule5)) -> rule6))] @3: Bob is nice.[(((triple2 ((triple3 ((triple1) -> rule3)) -> rule6)) -> rule2) OR ((triple2 ((triple3 ((triple2) -> rule4)) -> rule6)) -> rule2) OR ((triple2 ((triple3 ((triple2 triple3) -> rule5)) -> rule6)) -> rule2) OR ((((triple1 triple3) -> rule1) ((triple3 ((triple1) -> rule3)) -> rule6)) -> rule2) OR ((((triple1 triple3) -> rule1) ((triple3 ((triple2) -> rule4)) -> rule6)) -> rule2) OR ((((triple1 triple3) -> rule1) ((triple3 ((triple2 triple3) -> rule5)) -> rule6)) -> rule2) OR ((triple2 ((triple3 ((((triple1 triple3) -> rule1)) -> rule4)) -> rule6)) -> rule2) OR ((triple2 ((triple3 ((((triple1 triple3) -> rule1) triple3) -> rule5)) -> rule6)) -> rule2) OR ((((triple1 triple3) -> rule1) ((triple3 ((((triple1 triple3) -> rule1)) -> rule4)) -> rule6)) -> rule2) OR ((((triple1 triple3) -> rule1) ((triple3 ((((triple1 triple3) -> rule1) triple3) -> rule5)) -> rule6)) -> rule2))]