Charlie is rough. Dave is round. All young things are red. If something is young and not blue then it is rough. If something is cold then it is not rough. If something is furry then it is rough. Cold, rough things are young. All red, cold things are not furry. If something is rough then it is furry. If something is rough and not round then it is not cold.
Charlie is rough.
@0: Charlie is rough.[(triple1)] Dave is round.[(triple2)] @1: Charlie is furry.[(((triple1) -> rule7))]