Bob is rough. Charlie is smart. Dave is green. Fiona is furry. All white, green things are big. All white things are cold. Cold, white things are furry. If Dave is smart and Dave is rough then Dave is big. If something is furry and rough then it is white. If something is white then it is smart. If Charlie is rough then Charlie is big. If something is smart then it is green.
Bob is not cold.
@0: Bob is rough.[(triple1)] Charlie is smart.[(triple2)] Dave is green.[(triple3)] Fiona is furry.[(triple4)] @1: Charlie is green.[(((triple2) -> rule8))]