Bob is big. Bob is white. Bob is young. Young people are red. If someone is quiet then they are young. If someone is quiet and big then they are rough. White, red people are smart. All rough, white people are smart. All smart, quiet people are red. If Bob is quiet and Bob is rough then Bob is white. Red, young people are quiet.
Bob is rough.
@0: Bob is big.[(triple1)] Bob is white.[(triple2 OR ((((((triple3) -> rule1) triple3) -> rule8) ((((((triple3) -> rule1) triple3) -> rule8) triple1) -> rule3)) -> rule7))] Bob is young.[(triple3)] @1: Bob is red.[(((triple3) -> rule1))] @2: Bob is quiet.[(((((triple3) -> rule1) triple3) -> rule8))] Bob is smart.[(((triple2 ((triple3) -> rule1)) -> rule4) OR ((((((((triple3) -> rule1) triple3) -> rule8) triple1) -> rule3) triple2) -> rule5) OR ((((((((triple3) -> rule1) triple3) -> rule8) ((((((triple3) -> rule1) triple3) -> rule8) triple1) -> rule3)) -> rule7) ((triple3) -> rule1)) -> rule4) OR ((((((((triple3) -> rule1) triple3) -> rule8) triple1) -> rule3) ((((((triple3) -> rule1) triple3) -> rule8) ((((((triple3) -> rule1) triple3) -> rule8) triple1) -> rule3)) -> rule7)) -> rule5))] @3: Bob is rough.[(((((((triple3) -> rule1) triple3) -> rule8) triple1) -> rule3))]