Bob is big. Bob is furry. Bob is quiet. If something is nice and round then it is green. If something is young and nice then it is furry. Round things are quiet. All nice, green things are round. If something is young and furry then it is round. Furry, young things are round. Big things are quiet. All big things are green.
Bob is not round.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is quiet.[(triple3 OR ((triple1) -> rule7))] @1: Bob is green.[(((triple1) -> rule8))]