Bob is furry. Charlie is blue. Charlie is not rough. Dave is blue. Dave is rough. Gary is big. Gary is blue. If Dave is rough and Dave is blue then Dave is furry. If Charlie is not young then Charlie is big. Red things are furry. All red things are blue. Young things are not blue. If Charlie is red and Charlie is not furry then Charlie is rough.
Bob is not big.
@0: Bob is furry.[(triple1)] Charlie is blue.[(triple2)] Charlie is not rough.[(triple3)] Dave is blue.[(triple4)] Dave is rough.[(triple5)] Gary is big.[(triple6)] Gary is blue.[(triple7)] @1: Dave is furry.[(((triple5 triple4) -> rule1))]