Dave is cold. Dave is furry. Dave is rough. If something is furry then it is cold. If something is quiet then it is red. Red, rough things are nice.
Dave is rough.
@0: Dave is cold.[(triple1 OR ((triple2) -> rule1))] Dave is furry.[(triple2)] Dave is rough.[(triple3)]