Dave is kind. Kind people are smart. If someone is quiet then they are smart. If Dave is not quiet then Dave is round. Round people are white. All big people are round. If Dave is smart then Dave is big.
Dave is not smart.
@0: Dave is kind.[(triple1)] @1: Dave is smart.[(((triple1) -> rule1))] @2: Dave is big.[(((((triple1) -> rule1)) -> rule6))] @3: Dave is round.[(((((((triple1) -> rule1)) -> rule6)) -> rule5))] @4: Dave is white.[(((((((((triple1) -> rule1)) -> rule6)) -> rule5)) -> rule4))]