Bob is smart. Smart people are big. If someone is green then they are not quiet. All big, quiet people are not smart. If Bob is not quiet then Bob is not white. If someone is green and white then they are furry. Nice people are furry.
Bob is not big.
@0: Bob is smart.[(triple1)] @1: Bob is big.[(((triple1) -> rule1))]