Anne is quiet. Bob is rough. Dave is round. Gary is nice. If someone is young then they are round. If Dave is young then Dave is rough. If Bob is quiet and Bob is cold then Bob is round. Cold, young people are rough. If someone is nice then they are cold. If Dave is cold and Dave is round then Dave is nice. All quiet people are nice. If someone is cold and nice then they are smart.
Bob is quiet.
@0: Anne is quiet.[(triple1)] Bob is rough.[(triple2)] Dave is round.[(triple3)] Gary is nice.[(triple4)] @1: Anne is nice.[(((triple1) -> rule7))] Gary is cold.[(((triple4) -> rule5))] @2: Anne is cold.[(((((triple1) -> rule7)) -> rule5))] Gary is smart.[(((((triple4) -> rule5) triple4) -> rule8))] @3: Anne is smart.[(((((((triple1) -> rule7)) -> rule5) ((triple1) -> rule7)) -> rule8))]