Bob is nice. Quiet things are red. Round, nice things are young. Round things are white. All nice things are smart. If Bob is round and Bob is nice then Bob is young. If something is white and nice then it is smart. Smart things are young. If something is red and nice then it is young.
Bob is quiet.
@0: Bob is nice.[(triple1)] @1: Bob is smart.[(((triple1) -> rule4))] @2: Bob is young.[(((((triple1) -> rule4)) -> rule7))]