Bob is kind. Cold things are young. Kind things are cold. Cold things are big. If something is kind then it is blue. All smart, blue things are big. If something is big and blue then it is quiet.
Bob is not cold.
@0: Bob is kind.[(triple1)] @1: Bob is blue.[(((triple1) -> rule4))] Bob is cold.[(((triple1) -> rule2))] @2: Bob is big.[(((((triple1) -> rule2)) -> rule3))] Bob is young.[(((((triple1) -> rule2)) -> rule1))] @3: Bob is quiet.[(((((((triple1) -> rule2)) -> rule3) ((triple1) -> rule4)) -> rule6))]