Bob is rough. If something is kind and not rough then it is big. All nice things are big. If Bob is young then Bob is big. All big things are nice. All nice things are furry. All rough things are young.
Bob is not quiet.
@0: Bob is rough.[(triple1)] @1: Bob is young.[(((triple1) -> rule6))] @2: Bob is big.[(((((triple1) -> rule6)) -> rule3))] @3: Bob is nice.[(((((((triple1) -> rule6)) -> rule3)) -> rule4))] @4: Bob is furry.[(((((((((triple1) -> rule6)) -> rule3)) -> rule4)) -> rule5))]