Bob is white. If someone is round and blue then they are white. If Bob is round and Bob is blue then Bob is quiet. If someone is white and round then they are not cold. If someone is white then they are round. If someone is blue and not round then they are big. If someone is white and not cold then they are quiet. All blue people are quiet. If someone is white and not big then they are not quiet.
Bob is cold.
@0: Bob is white.[(triple1)] @1: Bob is round.[(((triple1) -> rule4))] @2: Bob is not cold.[(((triple1 ((triple1) -> rule4)) -> rule3))] @3: Bob is quiet.[(((triple1 ((triple1 ((triple1) -> rule4)) -> rule3)) -> rule6))]