Bob is big. If Bob is not green then Bob is nice. If Bob is rough then Bob is nice. Cold, nice things are rough. If something is nice and not quiet then it is not blue. All rough, cold things are blue. All big things are nice. Quiet, green things are cold. All blue things are big.
Bob is green.
@0: Bob is big.[(triple1)] @1: Bob is nice.[(((triple1) -> rule6))]