Bob is furry. Charlie is smart. Dave is young. Harry is green. If something is green and big then it is young. If Bob is young then Bob is big. All young things are quiet. All green, quiet things are young. If Harry is furry then Harry is smart. If Harry is smart and Harry is green then Harry is quiet. If Dave is quiet and Dave is green then Dave is big. If Harry is rough then Harry is furry.
Charlie is furry.
@0: Bob is furry.[(triple1)] Charlie is smart.[(triple2)] Dave is young.[(triple3)] Harry is green.[(triple4)] @1: Dave is quiet.[(((triple3) -> rule3))]