Bob is young. Dave is big. Harry is big. All young things are big. If Harry is big then Harry is quiet. If Bob is green then Bob is young. If Bob is big and Bob is not young then Bob is blue. If something is quiet then it is round. All blue things are quiet. Big things are quiet. All big things are quiet.
Bob is quiet.
@0: Bob is young.[(triple1)] Dave is big.[(triple2)] Harry is big.[(triple3)] @1: Bob is big.[(((triple1) -> rule1))] Dave is quiet.[(((triple2) -> rule7) OR ((triple2) -> rule8))] Harry is quiet.[(((triple3) -> rule2) OR ((triple3) -> rule7) OR ((triple3) -> rule8))] @2: Bob is quiet.[(((((triple1) -> rule1)) -> rule7) OR ((((triple1) -> rule1)) -> rule8))] Dave is round.[(((((triple2) -> rule7)) -> rule5) OR ((((triple2) -> rule8)) -> rule5))] Harry is round.[(((((triple3) -> rule2)) -> rule5) OR ((((triple3) -> rule7)) -> rule5) OR ((((triple3) -> rule8)) -> rule5))] @3: Bob is round.[(((((((triple1) -> rule1)) -> rule7)) -> rule5) OR ((((((triple1) -> rule1)) -> rule8)) -> rule5))]