Anne is cold. Bob is rough. Dave is young. If someone is rough then they are cold. If Bob is young then Bob is nice. All cold, nice people are rough. If Bob is cold then Bob is not furry. All cold, young people are red. If Dave is not rough then Dave is not quiet.
Anne is not rough.
@0: Anne is cold.[(triple1)] Bob is rough.[(triple2)] Dave is young.[(triple3)] @1: Bob is cold.[(((triple2) -> rule1))] @2: Bob is not furry.[(((((triple2) -> rule1)) -> rule4))]