Bob is big. All big things are cold. If something is nice and not big then it is not green. If Bob is cold then Bob is nice. If something is nice and not green then it is young. If Bob is not nice then Bob is round. If Bob is nice then Bob is round. All big things are rough. If something is green and not young then it is rough.
Bob is green.
@0: Bob is big.[(triple1)] @1: Bob is cold.[(((triple1) -> rule1))] Bob is rough.[(((triple1) -> rule7))] @2: Bob is nice.[(((((triple1) -> rule1)) -> rule3))] @3: Bob is round.[(((((((triple1) -> rule1)) -> rule3)) -> rule6))]