Bob is blue. Bob is furry. Bob is kind. Bob is rough. Charlie is rough. Dave is kind. Fiona is rough. All furry things are young.
Bob is not furry.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is kind.[(triple3)] Bob is rough.[(triple4)] Charlie is rough.[(triple5)] Dave is kind.[(triple6)] Fiona is rough.[(triple7)] @1: Bob is young.[(((triple2) -> rule1))]