Bob is big. All quiet things are not green. Round things are green. If something is green and quiet then it is not big. All big things are round. If something is quiet and not blue then it is round. If Bob is green then Bob is nice.
Bob is not green.
@0: Bob is big.[(triple1)] @1: Bob is round.[(((triple1) -> rule4))] @2: Bob is green.[(((((triple1) -> rule4)) -> rule2))] @3: Bob is nice.[(((((((triple1) -> rule4)) -> rule2)) -> rule6))]