Bob is white. Harry is big. Harry is green. White people are quiet. Green, quiet people are rough. All rough, quiet people are white. All big people are young. All young people are quiet. If someone is quiet then they are rough. Rough people are big. If someone is quiet and green then they are rough.
Harry is green.
@0: Bob is white.[(triple1)] Harry is big.[(triple2)] Harry is green.[(triple3)] @1: Bob is quiet.[(((triple1) -> rule1))] Harry is young.[(((triple2) -> rule4))] @2: Bob is rough.[(((((triple1) -> rule1)) -> rule6))] Harry is quiet.[(((((triple2) -> rule4)) -> rule5))] @3: Bob is big.[(((((((triple1) -> rule1)) -> rule6)) -> rule7))] Harry is rough.[(((((((triple2) -> rule4)) -> rule5)) -> rule6) OR ((triple3 ((((triple2) -> rule4)) -> rule5)) -> rule2) OR ((((((triple2) -> rule4)) -> rule5) triple3) -> rule8))] @4: Bob is young.[(((((((((triple1) -> rule1)) -> rule6)) -> rule7)) -> rule4))] Harry is white.[(((((((((triple2) -> rule4)) -> rule5)) -> rule6) ((((triple2) -> rule4)) -> rule5)) -> rule3) OR ((((triple3 ((((triple2) -> rule4)) -> rule5)) -> rule2) ((((triple2) -> rule4)) -> rule5)) -> rule3) OR ((((((((triple2) -> rule4)) -> rule5) triple3) -> rule8) ((((triple2) -> rule4)) -> rule5)) -> rule3))]