Bob is cold. Dave is cold. Fiona is cold. Gary is white. All white things are quiet. If Bob is cold then Bob is white. If Bob is big then Bob is rough. If something is cold and smart then it is not white. Rough, quiet things are big. If something is quiet and cold then it is furry.
Gary is quiet.
@0: Bob is cold.[(triple1)] Dave is cold.[(triple2)] Fiona is cold.[(triple3)] Gary is white.[(triple4)] @1: Bob is white.[(((triple1) -> rule2))] Gary is quiet.[(((triple4) -> rule1))] @2: Bob is quiet.[(((((triple1) -> rule2)) -> rule1))] @3: Bob is furry.[(((((((triple1) -> rule2)) -> rule1) triple1) -> rule6))]