Bob is nice. Bob is rough. Bob is smart. Dave is kind. Dave is rough. Dave is young. Gary is furry. Gary is round. Gary is smart. Gary is young. All nice things are furry.
Dave is not furry.
@0: Bob is nice.[(triple1)] Bob is rough.[(triple2)] Bob is smart.[(triple3)] Dave is kind.[(triple4)] Dave is rough.[(triple5)] Dave is young.[(triple6)] Gary is furry.[(triple7)] Gary is round.[(triple8)] Gary is smart.[(triple9)] Gary is young.[(triple10)] @1: Bob is furry.[(((triple1) -> rule1))]