Anne is young. Bob is cold. Bob is quiet. Bob is rough. Dave is cold. Dave is red. Dave is young. All young people are white.
Bob is not quiet.
@0: Anne is young.[(triple1)] Bob is cold.[(triple2)] Bob is quiet.[(triple3)] Bob is rough.[(triple4)] Dave is cold.[(triple5)] Dave is red.[(triple6)] Dave is young.[(triple7)] @1: Anne is white.[(((triple1) -> rule1))] Dave is white.[(((triple7) -> rule1))]