Bob is cold. Dave is nice. If something is quiet and white then it is nice. All furry things are nice. If Bob is nice and Bob is rough then Bob is white. Nice, quiet things are rough. All kind things are white. If something is nice then it is rough.
Bob is cold.
@0: Bob is cold.[(triple1)] Dave is nice.[(triple2)] @1: Dave is rough.[(((triple2) -> rule6))]